|
|
@@ -41,23 +41,19 @@ checkpid() { |
|
|
|
#注意: 在shell编程中,"$?" 表示上一句命令或者一个函数的返回值 |
|
|
|
################################### |
|
|
|
stop() { |
|
|
|
checkpid |
|
|
|
|
|
|
|
if [[ $psid -ne 0 ]]; then |
|
|
|
echo "Stopping Gateway ......(pid=$psid) " |
|
|
|
JAVA_CMD="kill -9 $psid" |
|
|
|
sleep 1 |
|
|
|
$JAVA_CMD |
|
|
|
if [[ $? -eq 0 ]]; then |
|
|
|
echo "[OK]" |
|
|
|
checkpid |
|
|
|
if [[ $psid -ne 0 ]]; then |
|
|
|
echo "Stopping Gateway (PID = $psid) ......" |
|
|
|
kill $psid |
|
|
|
while kill -0 $psid 2>/dev/null; do sleep 1; done |
|
|
|
echo "================================" |
|
|
|
echo "Success" |
|
|
|
echo "================================" |
|
|
|
else |
|
|
|
echo "[Failed]" |
|
|
|
echo "================================" |
|
|
|
echo "WARN: Gateway is not running" |
|
|
|
echo "================================" |
|
|
|
fi |
|
|
|
else |
|
|
|
echo "================================" |
|
|
|
echo "WARN: Gateway is not running" |
|
|
|
echo "================================" |
|
|
|
fi |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|