2018-07-18 19:04:31 +03:00
|
|
|
BASE_DIR=$(realpath $(dirname $0))
|
2018-07-23 10:41:25 +03:00
|
|
|
pushd $BASE_DIR > /dev/null
|
2018-07-18 18:52:51 +03:00
|
|
|
PIDFILE=riot.pid
|
|
|
|
kill $(cat $PIDFILE)
|
2018-07-18 19:04:31 +03:00
|
|
|
rm $PIDFILE
|
2018-07-23 10:41:25 +03:00
|
|
|
popd > /dev/null
|