Initial import: web4beginners editor and deployment setup

stop-offline.sh

@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+cd "$ROOT_DIR"
+
+PID_FILE=".offline-server.pid"
+
+if [[ ! -f "$PID_FILE" ]]; then
+  echo "No PID file found. Server may already be stopped."
+  exit 0
+fi
+
+PID="$(cat "$PID_FILE")"
+if kill -0 "$PID" 2>/dev/null; then
+  kill "$PID"
+  echo "Stopped offline server PID $PID."
+else
+  echo "Process $PID is not running."
+fi
+
+rm -f "$PID_FILE"