blob: 3e34aa7d9d846bd3352193c7a889308d7eef9885 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# 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
|
