index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | extra/rust/watcher.sh | 2 |
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" |