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