From 413384dc19f1481f9145953a7ed5ad69346a8111 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Thu, 28 Nov 2019 10:40:04 +0100 Subject: extra/rust: another bootstrapping round --- extra/rust/watcher.sh | 2 ++ 1 file changed, 2 insertions(+) (limited to 'extra/rust/watcher.sh') diff --git a/extra/rust/watcher.sh b/extra/rust/watcher.sh index 544c3712..98228b5d 100755 --- a/extra/rust/watcher.sh +++ b/extra/rust/watcher.sh @@ -4,6 +4,8 @@ term() { echo "--> Got SIGTERM" echo "--> killing inotifywait with PID $inotifywait" kill -TERM "$inotifywait" + sleep 10 + kill -9 "$inotifywait" } srcdir="$1" -- cgit v1.2.3-54-g00ecf