diff options
Diffstat (limited to 'integration')
| -rwxr-xr-x | integration/test.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/integration/test.sh b/integration/test.sh index 95906b0..1738797 100755 --- a/integration/test.sh +++ b/integration/test.sh @@ -329,7 +329,8 @@ function node_stop_fe() { function node_stop_be() { for i in $@; do - pp ${nvars[$i:tsrv_pid]} && kill -2 ${nvars[$i:tsrv_pid]} + # 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]} while :; do sleep 1 |