diff options
Diffstat (limited to 'framework/src/onos/apps/demo/cord-gui/src/scripts/stop.me')
| -rw-r--r-- | framework/src/onos/apps/demo/cord-gui/src/scripts/stop.me | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/framework/src/onos/apps/demo/cord-gui/src/scripts/stop.me b/framework/src/onos/apps/demo/cord-gui/src/scripts/stop.me deleted file mode 100644 index 3e34aa7d..00000000 --- a/framework/src/onos/apps/demo/cord-gui/src/scripts/stop.me +++ /dev/null @@ -1,18 +0,0 @@ -# script to stop the cord gui server -# -PID=$(ps -ef | grep jetty-runner | grep -v grep | awk '{print $2}') -if [ -z "$PID" ] -then - echo jetty-runner not running - exit 0 -fi -kill $PID -sleep 1 - -PID=$(ps -ef | grep jetty-runner | grep -v grep | awk '{print $2}') -if [ ! -z "$PID" ] -then - echo jetty-runner still running ? -else - echo jetty-runner stopped -fi |