From ca1c53edfd7809da44c0de163564035ee1ef6db2 Mon Sep 17 00:00:00 2001 From: Brian Duggan Date: Mon, 18 Jun 2018 11:25:48 -0400 Subject: [PATCH 1/2] reap child processes --- script/server | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/script/server b/script/server index 8e1b5b00..ebace09b 100755 --- a/script/server +++ b/script/server @@ -1,5 +1,13 @@ #!/bin/bash +reap() { + kill -TERM $child + sleep 0.1 + exit +} + +trap reap TERM INT + # If a command fails, exit the script set -e From d6bb02da665d917d12659c4653ae29c724d8eaa3 Mon Sep 17 00:00:00 2001 From: Brian Duggan Date: Mon, 18 Jun 2018 11:35:22 -0400 Subject: [PATCH 2/2] Also store child pid --- script/server | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/script/server b/script/server index ebace09b..cd9fb452 100755 --- a/script/server +++ b/script/server @@ -15,4 +15,7 @@ set -e cd "$(dirname "${0}")/.." # Launch the app -pipenv run python app.py ${@} +pipenv run python app.py ${@} & +child=$! + +wait $child