element-web/riot/stop.sh

mirror of https://github.com/element-hq/element-web synced 2024-10-26 20:55:56 +03:00
BASE_DIR=$(realpath $(dirname $0))
pushd $BASE_DIR
PIDFILE=riot.pid
kill $(cat $PIDFILE)
rm $PIDFILE
popd
dont assume current directory in scripts 2018-07-18 19:04:31 +03:00			`BASE_DIR=$(realpath $(dirname $0))`
			`pushd $BASE_DIR`
add script to install, start and stop riot 2018-07-18 18:52:51 +03:00			`PIDFILE=riot.pid`
			`kill $(cat $PIDFILE)`
dont assume current directory in scripts 2018-07-18 19:04:31 +03:00			`rm $PIDFILE`
			`popd`