aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xintegration/test.sh3
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