diff options
author | sinanmohd <sinan@firemail.cc> | 2023-07-05 22:06:51 +0530 |
---|---|---|
committer | sinanmohd <sinan@firemail.cc> | 2023-07-05 22:06:51 +0530 |
commit | b886bfe80a9eee7fce3f89995f4b075d0c1e592b (patch) | |
tree | 5054777488acd675f671200e5c7b66e9fc468ee7 | |
parent | de79327879058f9239f3e285925b4067771b53b3 (diff) |
damb: use sigkill to make sure the target is dead
-rwxr-xr-x | damb | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -72,7 +72,7 @@ main() stop) while read -r process do - kill -2 "$process" + kill -9 "$process" done < "$pid_file" rm "$pid_file" |