123456789101112131415161718192021222324 |
- #! /bin/bash
- SERVER_DIR=$(dirname "@SERVER_EXEC_PATH@")
- cd $SERVER_DIR
- echo "SERVER: @SERVER_EXEC_PATH@ & sleep 0.2"
- "@SERVER_EXEC_PATH@" &
- sleep 0.5
- echo "CLIENT: @CLIENT_EXEC_PATH@"
- "@CLIENT_EXEC_PATH@"
- EXIT_CODE=$?
- echo "SERVER PID: $!"
- [[ @SERVER_EXEC_PATH@ ]] && kill $!
- exit $EXIT_CODE
|