From bc06d370d0e5aeaa09149dfef7ac67c773a47701 Mon Sep 17 00:00:00 2001 From: Bruno Windels Date: Mon, 23 Jul 2018 09:41:25 +0200 Subject: [PATCH] prevent stop scripts from polluting output --- riot/stop.sh | 4 ++-- synapse/stop.sh | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/riot/stop.sh b/riot/stop.sh index ca1da23476..59fef1dfd0 100644 --- a/riot/stop.sh +++ b/riot/stop.sh @@ -1,6 +1,6 @@ BASE_DIR=$(realpath $(dirname $0)) -pushd $BASE_DIR +pushd $BASE_DIR > /dev/null PIDFILE=riot.pid kill $(cat $PIDFILE) rm $PIDFILE -popd \ No newline at end of file +popd > /dev/null \ No newline at end of file diff --git a/synapse/stop.sh b/synapse/stop.sh index ab376d8ac5..f55d8b50db 100644 --- a/synapse/stop.sh +++ b/synapse/stop.sh @@ -1,7 +1,7 @@ BASE_DIR=$(realpath $(dirname $0)) -pushd $BASE_DIR -pushd installations/consent +pushd $BASE_DIR > /dev/null +pushd installations/consent > /dev/null source env/bin/activate ./synctl stop -popd -popd \ No newline at end of file +popd > /dev/null +popd > /dev/null \ No newline at end of file