element-web-Github/riot/stop.sh

BASE_DIR=$(realpath $(dirname $0))
pushd $BASE_DIR > /dev/null
PIDFILE=riot.pid
kill $(cat $PIDFILE)
rm $PIDFILE
popd > /dev/null
dont assume current directory in scripts 2018-07-19 00:04:31 +08:00			`BASE_DIR=$(realpath $(dirname $0))`
prevent stop scripts from polluting output 2018-07-23 15:41:25 +08:00			`pushd $BASE_DIR > /dev/null`
add script to install, start and stop riot 2018-07-18 23:52:51 +08:00			`PIDFILE=riot.pid`
			`kill $(cat $PIDFILE)`
dont assume current directory in scripts 2018-07-19 00:04:31 +08:00			`rm $PIDFILE`
prevent stop scripts from polluting output 2018-07-23 15:41:25 +08:00			`popd > /dev/null`