diff --git a/test/shell/t7.sh b/test/shell/t7.sh new file mode 100755 index 00000000..c85a9857 --- /dev/null +++ b/test/shell/t7.sh @@ -0,0 +1,9 @@ +#!/bin/bash -e + +# run empty graph +timeout --kill-after=20s 15s ./mgmt run & +pid=$! +sleep 5s # let it converge +$(sleep 3s && killall -SIGINT mgmt)& # send ^C to exit mgmt +wait $pid # get exit status +exit $?