X-Git-Url: https://osm.etsi.org/gitweb/?a=blobdiff_plain;f=tools%2Flocal-build.sh;h=829649d205745d525751031626f0c533e950b381;hb=c5b6206a7c21cadda941762389ecadd0100418f0;hp=7d2ec61953e24b38bb1c2fc91566ec1e0c61f3d2;hpb=2c5b33f530801667937e9147829bf8b02bd00409;p=osm%2Fdevops.git diff --git a/tools/local-build.sh b/tools/local-build.sh index 7d2ec619..829649d2 100755 --- 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() {