6 PYTHON_FILE_SERVER_ROOT="${TEMP_DIR}/python-simple-http-webserver"
8 PID=$(cat "$PYTHON_FILE_SERVER_ROOT/$PID_FILE")
10 ctx logger info [ "Shutting down web server, pid = ${PID}." ]
11 kill -9 "$PID" || exit $?
13 ctx logger info [ "Removing web server root folder: $PYTHON_FILE_SERVER_ROOT." ]
14 rm -rf "$PYTHON_FILE_SERVER_ROOT"