diff options
Diffstat (limited to 'src/appMain/start.sh')
| -rw-r--r-- | src/appMain/start.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/appMain/start.sh b/src/appMain/start.sh new file mode 100644 index 0000000000..df867c75af --- /dev/null +++ b/src/appMain/start.sh @@ -0,0 +1,18 @@ +#!/bin/bash +trap close INT + +function close() { + $DIR/core.sh stop +} + +DIR=$(dirname $0) +CORE_PID_FILE=${DIR}/core.pid + +$DIR/core.sh start + +# Wait for the application to close +CORE_PID=$(cat $CORE_PID_FILE) +tail --pid=$CORE_PID -f /dev/null + +# Verify that the application closed sucessfully +close > /dev/null |