message: hide riot static server output
diff: 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
  