From a1bc2b504c38f380d68a162667f9efc1f3f404bc Mon Sep 17 00:00:00 2001 From: Ilia Rostovtsev Date: Sun, 5 Jul 2020 14:30:51 +0300 Subject: [PATCH] Use less harsh kill first https://github.com/webmin/webmin/commit/b129fd8a271bc76402e515b24f6d321d842bf75e --- setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.sh b/setup.sh index 3791ebe72..7d9677d15 100755 --- a/setup.sh +++ b/setup.sh @@ -622,7 +622,7 @@ echo "if [ \"\$pid\" != \"\" ]; then" >>$config_dir/stop echo " kill \$pid || exit 1" >>$config_dir/stop echo " if [ \"\$1\" = \"--kill\" ]; then" >>$config_dir/stop echo " sleep 1" >>$config_dir/stop -echo " (kill -9 -- -\$pid || kill -9 \$pid) 2>/dev/null" >>$config_dir/stop +echo " (kill -9 \$pid || kill -9 -- -\$pid) 2>/dev/null" >>$config_dir/stop echo " fi" >>$config_dir/stop echo " exit 0" >>$config_dir/stop echo "else" >>$config_dir/stop