diff options
Diffstat (limited to 'src/auditor/generate-auditor-basedb.sh')
-rwxr-xr-x | src/auditor/generate-auditor-basedb.sh | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/src/auditor/generate-auditor-basedb.sh b/src/auditor/generate-auditor-basedb.sh index a24942dfc..469abbc3e 100755 --- a/src/auditor/generate-auditor-basedb.sh +++ b/src/auditor/generate-auditor-basedb.sh @@ -32,22 +32,29 @@ function get_payto_uri() { # Cleanup to run whenever we exit function cleanup() { - for n in `jobs -p` - do - kill $n 2> /dev/null || true - done - wait echo "Killing Libeufin..." if test -f libeufin-sandbox.pid then echo "Killing libeufin sandbox" - kill `cat libeufin-sandbox.pid 2> /dev/null` &> /dev/null || true + PID=`cat libeufin-sandbox.pid 2> /dev/null` + kill $PID 2> /dev/null || true + wait $PID + rm libeufin-sandbox.pid fi if test -f libeufin-nexus.pid then echo "Killing libeufin nexus" - kill `cat libeufin-nexus.pid 2> /dev/null` &> /dev/null || true + PID=`cat libeufin-nexus.pid 2> /dev/null` + kill $PID 2> /dev/null || true + wait $PID + rm libeufin-nexus.pid fi + echo "killing libeufin DONE" + for n in `jobs -p` + do + kill $n 2> /dev/null || true + done + wait } # Install cleanup handler (except for kill -9) |