2018-07-27 15:08:14 +02:00
|
|
|
#!/bin/bash
|
2018-09-25 19:45:08 +02:00
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
BASE_DIR=$(cd $(dirname $0) && pwd)
|
2018-07-18 17:52:51 +02:00
|
|
|
PIDFILE=riot.pid
|
2018-07-27 19:27:53 +02:00
|
|
|
CONFIG_BACKUP=config.e2etests_backup.json
|
|
|
|
|
|
|
|
|
|
cd $BASE_DIR
|
|
|
|
|
|
2018-07-27 18:43:40 +02:00
|
|
|
if [ -f $PIDFILE ]; then
|
2018-08-14 12:53:16 +02:00
|
|
|
echo "stopping riot server ..."
|
|
|
|
|
PID=$(cat $PIDFILE)
|
|
|
|
|
rm $PIDFILE
|
|
|
|
|
kill $PID
|
2018-07-27 19:27:53 +02:00
|
|
|
|
2018-08-14 12:53:16 +02:00
|
|
|
# revert config file
|
|
|
|
|
cd riot-web/webapp
|
|
|
|
|
rm config.json
|
|
|
|
|
if [ -f $CONFIG_BACKUP ]; then
|
|
|
|
|
mv $CONFIG_BACKUP config.json
|
|
|
|
|
fi
|
2018-07-27 18:43:40 +02:00
|
|
|
fi
|
