index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-11-28 10:40:04 +0100 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-11-28 10:40:04 +0100 |
commit | 413384dc19f1481f9145953a7ed5ad69346a8111 (patch) | |
tree | 44fcebd75e26096c03c672003491c5ccd631ae40 /extra/rust/watcher.sh | |
parent | f5976d3c284add0be71003027e3e2fe25c8b40b9 (diff) |
-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" |