diff options
author | Rasmus Dahlberg <rasmus@mullvad.net> | 2022-09-06 16:15:02 +0200 |
---|---|---|
committer | Rasmus Dahlberg <rasmus@mullvad.net> | 2022-09-06 16:15:02 +0200 |
commit | a365db4b9c35969298aa6469d8e8dc9fafb6fa65 (patch) | |
tree | 1b8bb6118434147d2e89b7e054f5c954b2bb6412 /integration/test.sh | |
parent | 5a4b70db07f0996d53399033c0734915f30548fc (diff) |
xxx
Diffstat (limited to 'integration/test.sh')
-rwxr-xr-x | integration/test.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/integration/test.sh b/integration/test.sh index 1738797..85223a2 100755 --- a/integration/test.sh +++ b/integration/test.sh @@ -330,11 +330,14 @@ function node_stop_fe() { function node_stop_be() { for i in $@; do # The Trillian log server doesn't exit properly on SIGINT so we give it 5 second and then send SIGTERM. - pp ${nvars[$i:tsrv_pid]} && /usr/bin/kill --signal SIGINT --timeout 5000 SIGTERM ${nvars[$i:tsrv_pid]} + pp ${nvars[$i:tsrv_pid]} && kill -2 ${nvars[$i:tsrv_pid]} while :; do sleep 1 - pp ${nvars[$i:tsrv_pid]} && continue + if pp ${nvars[$i:tsrv_pid]}; then + kill -2 ${nvars[$i:tsrv_pid]} + continue + fi break done |