diff options
Diffstat (limited to 'extra/rust/watcher.sh')
| -rwxr-xr-x | extra/rust/watcher.sh | 2 |
1 files changed, 2 insertions, 0 deletions
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" |