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() {