riot-web/riot/stop.sh

#!/bin/bash
BASE_DIR=$(readlink -f $(dirname $0))
cd $BASE_DIR
PIDFILE=riot.pid
if [ -f $PIDFILE ]; then
	echo "stopping riot server ..."
	kill $(cat $PIDFILE)
	rm $PIDFILE
fi
force running scripts in bash, as it's not the default shell on Ubuntu (which is what Travis runs) 2018-07-27 15:08:14 +02:00			`#!/bin/bash`
use readlink instead of realpath as it seems to be more portable 2018-07-27 15:04:04 +02:00			`BASE_DIR=$(readlink -f $(dirname $0))`
no need for push/popd in sub-shell 2018-07-27 14:10:19 +02:00			`cd $BASE_DIR`
add script to install, start and stop riot 2018-07-18 17:52:51 +02:00			`PIDFILE=riot.pid`
dont fail when trying to stop riot and its not running 2018-07-27 18:43:40 +02:00			`if [ -f $PIDFILE ]; then`
			`echo "stopping riot server ..."`
			`kill $(cat $PIDFILE)`
			`rm $PIDFILE`
			`fi`