riot/start.sh

BASE_DIR=$(realpath $(dirname $0))
pushd $BASE_DIR > /dev/null
pushd riot-web/webapp/ > /dev/null
python -m SimpleHTTPServer 8080 > /dev/null 2>&1 &
PID=$!
popd > /dev/null
echo $PID > riot.pid
popd > /dev/null
dont assume current directory in scripts 2018-07-18 18:04:31 +02:00			`BASE_DIR=$(realpath $(dirname $0))`
hide riot static server output 2018-07-27 13:29:59 +02:00			`pushd $BASE_DIR > /dev/null`
			`pushd riot-web/webapp/ > /dev/null`
			`python -m SimpleHTTPServer 8080 > /dev/null 2>&1 &`
add script to install, start and stop riot 2018-07-18 17:52:51 +02:00			`PID=$!`
hide riot static server output 2018-07-27 13:29:59 +02:00			`popd > /dev/null`
dont assume current directory in scripts 2018-07-18 18:04:31 +02:00			`echo $PID > riot.pid`
hide riot static server output 2018-07-27 13:29:59 +02:00			`popd > /dev/null`