Commit 5b812727 authored by ligang's avatar ligang
Browse files

Merge remote-tracking branch 'origin/branch-1.0.2' into branch-1.0.2

parents aacd188e 2ef34937
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -377,7 +377,7 @@ if [ "true" = $monitorServerState ];then
                        kill $TARGET_PID
                        sleep 5
                        if kill -0 $TARGET_PID > /dev/null 2>&1; then
                                echo "$command did not stop gracefully after 5 seconds: killing with kill -9"
                                echo "monitor server did not stop gracefully after 5 seconds: killing with kill -9"
                                kill -9 $TARGET_PID
                        fi
                else