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 (executable)
--- a/tools/local-build.sh
+++ b/tools/local-build.sh
@@ -186,7 +186,7 @@ function run_httpserver() {
     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() {