#!/bin/sh
pgrep -f "http.server 8000" >/dev/null || (cd /workspace && nohup python3 -m http.server 8000 --directory /workspace > /workspace/http_server.log 2>&1 &)
