From ca1c53edfd7809da44c0de163564035ee1ef6db2 Mon Sep 17 00:00:00 2001 From: Brian Duggan Date: Mon, 18 Jun 2018 11:25:48 -0400 Subject: [PATCH] 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