element-web-Github/riot/stop.sh

mirror of https://github.com/vector-im/element-web.git synced 2024-11-16 13:14:58 +08:00
BASE_DIR=$(readlink -f $(dirname $0))
cd $BASE_DIR
PIDFILE=riot.pid
kill $(cat $PIDFILE)
rm $PIDFILE
use readlink instead of realpath as it seems to be more portable 2018-07-27 21:04:04 +08:00			`BASE_DIR=$(readlink -f $(dirname $0))`
no need for push/popd in sub-shell 2018-07-27 20:10:19 +08:00			`cd $BASE_DIR`
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`