X-Git-Url: https://gerrit.akraino.org/r/gitweb?a=blobdiff_plain;f=tools%2Fvagrant%2Fstop_sushy.sh;h=435ee7d8863bddefd4f2d58f1786da67c781cd2a;hb=dd6eeed47dfa116fc6234e06468c40053cf30ce0;hp=2e3f3a8d97bf1a6a796a5d3fe9c707bd4b7d71a0;hpb=ade35a31489fcc3b858fc6dde814a95c904f711b;p=icn.git

diff --git a/tools/vagrant/stop_sushy.sh b/tools/vagrant/stop_sushy.sh
index 2e3f3a8..435ee7d 100755
--- a/tools/vagrant/stop_sushy.sh
+++ b/tools/vagrant/stop_sushy.sh
@@ -3,8 +3,10 @@ set -eu -o pipefail
 
 listen_ip=$1
 
-if [[ -f ${HOME}/.sushy/emulator.pid && $(ps -p $(cat ${HOME}/.sushy/emulator.pid) 2>/dev/null) ]]; then
-    kill $(cat ${HOME}/.sushy/emulator.pid)
+if [[ -f ${HOME}/.sushy/emulator.pid ]]; then
+    if ps -p $(cat ${HOME}/.sushy/emulator.pid); then
+       kill $(cat ${HOME}/.sushy/emulator.pid)
+    fi
     rm ${HOME}/.sushy/emulator.pid
     echo Stopped sushy-emulator
     dev=$(ip -o addr show to ${listen_ip} | awk '{print $2}')