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