diff options
Diffstat (limited to 'src/auditor/generate-auditor-basedb.sh')
-rwxr-xr-x | src/auditor/generate-auditor-basedb.sh | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/auditor/generate-auditor-basedb.sh b/src/auditor/generate-auditor-basedb.sh index d4d5cf839..09018f0cb 100755 --- a/src/auditor/generate-auditor-basedb.sh +++ b/src/auditor/generate-auditor-basedb.sh @@ -36,10 +36,18 @@ function cleanup() do kill $n 2> /dev/null || true done - echo Killing euFin.. - kill `cat libeufin-sandbox.pid 2> /dev/null` &> /dev/null || true - kill `cat libeufin-nexus.pid 2> /dev/null` &> /dev/null || true 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 + fi + if test -f libeufin-nexus.pid + then + echo "Killing libeufin nexus" + kill `cat libeufin-nexus.pid 2> /dev/null` &> /dev/null || true + fi } # Install cleanup handler (except for kill -9) |