prevent stop scripts from polluting output
This commit is contained in:
parent
40c0967364
commit
bc06d370d0
2 changed files with 6 additions and 6 deletions
|
@ -1,6 +1,6 @@
|
||||||
BASE_DIR=$(realpath $(dirname $0))
|
BASE_DIR=$(realpath $(dirname $0))
|
||||||
pushd $BASE_DIR
|
pushd $BASE_DIR > /dev/null
|
||||||
PIDFILE=riot.pid
|
PIDFILE=riot.pid
|
||||||
kill $(cat $PIDFILE)
|
kill $(cat $PIDFILE)
|
||||||
rm $PIDFILE
|
rm $PIDFILE
|
||||||
popd
|
popd > /dev/null
|
|
@ -1,7 +1,7 @@
|
||||||
BASE_DIR=$(realpath $(dirname $0))
|
BASE_DIR=$(realpath $(dirname $0))
|
||||||
pushd $BASE_DIR
|
pushd $BASE_DIR > /dev/null
|
||||||
pushd installations/consent
|
pushd installations/consent > /dev/null
|
||||||
source env/bin/activate
|
source env/bin/activate
|
||||||
./synctl stop
|
./synctl stop
|
||||||
popd
|
popd > /dev/null
|
||||||
popd
|
popd > /dev/null
|
Loading…
Reference in a new issue