From ce003d1c80af4fe6a5f1bc0c5c1346f05c45350b Mon Sep 17 00:00:00 2001 From: hhenry01 Date: Fri, 3 Nov 2023 16:01:48 -0700 Subject: [PATCH] Improve signal handling --- scripts/run_virtual_iridium.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/run_virtual_iridium.sh b/scripts/run_virtual_iridium.sh index d1d3c13..f27a7c0 100755 --- a/scripts/run_virtual_iridium.sh +++ b/scripts/run_virtual_iridium.sh @@ -4,8 +4,8 @@ WEBHOOK_SERVER_ENDPOINT=${1:-127.0.0.1:8081} VIRTUAL_IRIDIUM_HTTP_SERVER_PORT=${2:-8080} # Make sure everything is killed on exit -trap "exit" INT TERM -trap "kill 0" EXIT +trap 'exit' INT TERM +trap 'kill %; exit 0' EXIT # Port environment variables are defined in $ROS_WORKSPACE/.devcontainer/base-dev/base-dev.Dockerfile touch $LOCAL_TRANSCEIVER_TEST_PORT