sigint is invalid signal, fix it with SIGINT.
This commit is contained in:
parent
ed8e35767c
commit
66052bef9c
|
@ -95,7 +95,7 @@ else
|
||||||
if [ -n "$PID" ]; then
|
if [ -n "$PID" ]; then
|
||||||
if [ "$SIGNAL" = "SIGINT" ]; then
|
if [ "$SIGNAL" = "SIGINT" ]; then
|
||||||
echo killed by signal
|
echo killed by signal
|
||||||
kill -sigint $PID
|
kill -SIGINT $PID
|
||||||
else
|
else
|
||||||
kill -9 $PID
|
kill -9 $PID
|
||||||
fi
|
fi
|
||||||
|
|
|
@ -100,7 +100,7 @@ else
|
||||||
if [ -n "$PID" ]; then
|
if [ -n "$PID" ]; then
|
||||||
if [ "$SIGNAL" = "SIGINT" ]; then
|
if [ "$SIGNAL" = "SIGINT" ]; then
|
||||||
echo killed by signal
|
echo killed by signal
|
||||||
kill -sigint $PID
|
kill -SIGINT $PID
|
||||||
else
|
else
|
||||||
kill -9 $PID
|
kill -9 $PID
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in New Issue