aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsinanmohd <sinan@firemail.cc>2023-07-05 22:06:51 +0530
committersinanmohd <sinan@firemail.cc>2023-07-05 22:06:51 +0530
commitb886bfe80a9eee7fce3f89995f4b075d0c1e592b (patch)
tree5054777488acd675f671200e5c7b66e9fc468ee7
parentde79327879058f9239f3e285925b4067771b53b3 (diff)
damb: use sigkill to make sure the target is dead
-rwxr-xr-xdamb2
1 files changed, 1 insertions, 1 deletions
diff --git a/damb b/damb
index 6614aaf..61167c2 100755
--- a/damb
+++ b/damb
@@ -72,7 +72,7 @@ main()
stop)
while read -r process
do
- kill -2 "$process"
+ kill -9 "$process"
done < "$pid_file"
rm "$pid_file"