diff options
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 |