15 lines
566 B
Bash
Executable File
15 lines
566 B
Bash
Executable File
#!/bin/bash -e
|
|
|
|
. "$(dirname "$0")/../util.sh"
|
|
|
|
# should take 15 seconds for longest resources plus startup time to shutdown
|
|
# we don't want the ^C to allow the rest of the graph to continue executing!
|
|
# this is a test of mgmt exiting quickly via a fast pause after it sees a ^C
|
|
$TIMEOUT "$MGMT" run --no-watch --no-pgp --tmp-prefix lang --lang graph-exit1.mcl &
|
|
pid=$!
|
|
sleep 5s # let the initial resources start to run...
|
|
killall -SIGINT mgmt # send ^C to exit mgmt
|
|
killall -SIGINT mgmt # send a second ^C to activate fast pause
|
|
wait $pid # get exit status
|
|
exit $?
|