Add nohup to http.server in tools/local-build.sh
Change-Id: Ic21b33c22c069d6145ba9d60c7e3cebb75f99664
Signed-off-by: garciadeblas <gerardo.garciadeblas@telefonica.com>
diff --git a/tools/local-build.sh b/tools/local-build.sh
index 7d2ec61..829649d 100755
--- a/tools/local-build.sh
+++ b/tools/local-build.sh
@@ -186,7 +186,7 @@
if [ ! -z $EXISTING_PID ] ; then
kill $EXISTING_PID
fi
- python3 -m http.server ${HTTPPORT} --directory "${HTTPDDIR}" &>/dev/null &
+ nohup python3 -m http.server ${HTTPPORT} --directory "${HTTPDDIR}" &>/dev/null &
}
function stage_2() {