element-web/riot/stop.sh

7 lines
113 B
Bash
Raw Normal View History

#!/bin/bash
BASE_DIR=$(readlink -f $(dirname $0))
2018-07-27 12:10:19 +00:00
cd $BASE_DIR
PIDFILE=riot.pid
kill $(cat $PIDFILE)
rm $PIDFILE