mirror of
https://github.com/element-hq/element-web
synced 2024-10-26 20:55:56 +03:00
5 lines
101 B
Bash
5 lines
101 B
Bash
BASE_DIR=$(readlink -f $(dirname $0))
|
|
cd $BASE_DIR
|
|
PIDFILE=riot.pid
|
|
kill $(cat $PIDFILE)
|
|
rm $PIDFILE
|