diff --git a/build/geropkg/stop.sh b/build/geropkg/stop.sh index df6e7fc1..1948b0c3 100755 --- a/build/geropkg/stop.sh +++ b/build/geropkg/stop.sh @@ -1,6 +1,6 @@ #!/bin/sh if [ -f "pid" ];then - kill -9 `cat pid` + kill -INT `cat pid` rm -rf pid fi