2015-06-09 13:01:42 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
pidFile="@SCRIPTS_PATH@/concordia-server.PID"
|
|
|
|
|
|
|
|
if [ -e $pidFile ]
|
|
|
|
then
|
2015-07-31 14:11:13 +02:00
|
|
|
pid=`cat $pidFile`
|
2015-06-09 13:01:42 +02:00
|
|
|
rm $pidFile
|
2015-07-31 14:11:13 +02:00
|
|
|
kill $pid
|
2015-06-09 13:01:42 +02:00
|
|
|
echo "concordia-server stopped"
|
|
|
|
else
|
|
|
|
echo "no PID file found at:" $pidFile "- is concordia-server running?" >&2
|
|
|
|
fi
|
|
|
|
|