| 1234567891011121314151617181920212223 |
- #!/bin/bash
- set -e
- trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT
- filename=`realpath $1`
- echo "Compiling MvS server"
- cd state/mvs_server
- python python_sccd_compiler/sccdc.py -p threads server.xml
- echo "Starting MvS"
- xterm -e "python run_mvs_server.py $filename || read -p \"Press any key to continue\"" &
- echo "Waiting for boot-up"
- sleep 1
- echo "Compiling MvK server"
- cd ../../kernel/mvk_server
- python python_sccd_compiler/sccdc.py -p threads server.xml
- echo "Starting MvK"
- xterm -e "python run_mvk_server.py || read -p \"Press any key to continue\""
|
