diff options
| author | Christian Grothoff <grothoff@gnunet.org> | 2024-01-14 17:42:40 +0100 |
|---|---|---|
| committer | Christian Grothoff <grothoff@gnunet.org> | 2024-01-14 17:42:40 +0100 |
| commit | cc35fd79067baa72ef5ba1dcbdd6e154ca15ee9a (patch) | |
| tree | d2e3e9fee44638b5fd018e8edd57b604b0b42997 | |
| parent | b2cdaa0c81ac960326ea2ce2c3d8b3e2747b861c (diff) | |
| download | taler-mdb-cc35fd79067baa72ef5ba1dcbdd6e154ca15ee9a.tar.gz taler-mdb-cc35fd79067baa72ef5ba1dcbdd6e154ca15ee9a.tar.bz2 taler-mdb-cc35fd79067baa72ef5ba1dcbdd6e154ca15ee9a.zip | |
bugfixes in network monitor script
| -rwxr-xr-x | contrib/taler-mdb-network-check.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/contrib/taler-mdb-network-check.sh b/contrib/taler-mdb-network-check.sh index 370bdce..efbc5b0 100755 --- a/contrib/taler-mdb-network-check.sh +++ b/contrib/taler-mdb-network-check.sh @@ -77,6 +77,18 @@ function cleanup() { echo "network-check terminating!" >&2 + if [ "$ERROR_PID" != "-1" ] + then + kill -TERM "$ERROR_PID" + wait + ERROR_PID="-1" + fi + if [ "$CHILD_PID" != "-1" ] + then + kill -TERM "$CHILD_PID" + wait + CHILD_PID="-1" + fi for n in $(jobs -p) do kill "$n" 2> /dev/null || true |