From c9461dd2967f869af469575853566a3ec9d9d105 Mon Sep 17 00:00:00 2001 From: Bruno Windels Date: Fri, 27 Jul 2018 13:29:59 +0200 Subject: [PATCH] hide riot static server output --- riot/start.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/riot/start.sh b/riot/start.sh index 2eb3221511..3e5077717e 100644 --- a/riot/start.sh +++ b/riot/start.sh @@ -1,8 +1,8 @@ BASE_DIR=$(realpath $(dirname $0)) -pushd $BASE_DIR -pushd riot-web/webapp/ -python -m SimpleHTTPServer 8080 & +pushd $BASE_DIR > /dev/null +pushd riot-web/webapp/ > /dev/null +python -m SimpleHTTPServer 8080 > /dev/null 2>&1 & PID=$! -popd +popd > /dev/null echo $PID > riot.pid -popd \ No newline at end of file +popd > /dev/null \ No newline at end of file