2018-09-03 14:01:39 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
signalListener() {
|
|
|
|
|
"$@" &
|
|
|
|
|
pid="$!"
|
|
|
|
|
trap "echo 'Stopping'; kill -SIGTERM $pid" SIGINT SIGTERM
|
2018-07-23 16:27:23 +00:00
|
|
|
|
2018-09-03 14:01:39 +00:00
|
|
|
while kill -0 $pid > /dev/null 2>&1; do
|
|
|
|
|
wait
|
|
|
|
|
done
|
|
|
|
|
}
|
2017-03-01 07:34:35 +00:00
|
|
|
|
2016-08-27 08:29:20 +00:00
|
|
|
|
2018-09-03 14:01:39 +00:00
|
|
|
source ./AILENV/bin/activate
|
|
|
|
|
cd bin
|
|
|
|
|
./LAUNCH.sh -l
|
2018-09-19 07:52:27 +00:00
|
|
|
./LAUNCH.sh -f
|
2016-08-27 08:29:20 +00:00
|
|
|
|
2018-09-03 14:01:39 +00:00
|
|
|
signalListener tail -f /dev/null $@
|
2016-08-27 08:29:20 +00:00
|
|
|
|
2018-09-03 14:01:39 +00:00
|
|
|
./LAUNCH.sh -k
|
