db4de12767
This allows you to specify a custom prefix, or a tmp prefix which is chosen automatically.
10 lines
219 B
Bash
Executable File
10 lines
219 B
Bash
Executable File
#!/bin/bash -e
|
|
|
|
# run empty graph
|
|
timeout --kill-after=20s 15s ./mgmt run --tmp-prefix &
|
|
pid=$!
|
|
sleep 5s # let it converge
|
|
$(sleep 3s && killall -SIGINT mgmt)& # send ^C to exit mgmt
|
|
wait $pid # get exit status
|
|
exit $?
|