| Simon Hunt | 4d99c29 | 2015-06-04 18:09:35 -0700 | [diff] [blame^] | 1 | # script to stop the cord gui server |
| 2 | # | ||||
| 3 | PID=$(ps | grep jetty-runner | grep -v grep | cut -c1-5) | ||||
| 4 | if [ -z "$PID" ] | ||||
| 5 | then | ||||
| 6 | echo jetty-runner not running | ||||
| 7 | exit 0 | ||||
| 8 | fi | ||||
| 9 | kill $PID | ||||
| 10 | sleep 1 | ||||
| 11 | |||||
| 12 | PID=$(ps | grep jetty-runner | grep -v grep | cut -c1-5) | ||||
| 13 | if [ ! -z "$PID" ] | ||||
| 14 | then | ||||
| 15 | echo jetty-runner still running ? | ||||
| 16 | else | ||||
| 17 | echo jetty-runner stopped | ||||
| 18 | fi | ||||