new tool for running the docs server

start_docs_server.sh

@@ -0,0 +1,48 @@
+#!/bin/bash
+# convient script to run the docs server. It automatically rebuilds and restarts when you change code. You just need to refresh your browser. 
+cd "$(dirname "$0")"
+WATCH_PATH="."
+START_SERVER_CMD="make develop-docs-comprehensive"
+while true; do
+  $START_SERVER_CMD &
+
+  echo "Server started"
+
+  echo "Waiting for 15 seconds before starting to watch for file changes..."
+  sleep 15
+
+  if [[ "$OSTYPE" == "darwin"* ]]; then
+    CHANGED_FILE=$(fswatch -1 --exclude 'docs/static/api-reference-docs' --exclude 'build/' --exclude '/docs/.docusaurus' --exclude 'changes.log' --exclude 'docs/node_modules/.cache/webpack' --exclude '.git/'  $WATCH_PATH)
+    echo "Detected changes in: $CHANGED_FILE"
+  else
+    echo "OS not supported"
+    exit 1
+  fi
+
+echo "Code changed. Attempting to kill server on port 3000..."
+
+# Send SIGTERM to the process listening on port 3000
+lsof -ti:3000 | xargs kill
+
+# Wait for a bit to give the process a chance to shut down gracefully
+sleep 5
+
+# Check if any process is still listening on port 3000
+if lsof -ti:3000 > /dev/null; then
+    echo "Process didn't shut down gracefully. Force killing..."
+    lsof -ti:3000 | xargs kill -9
+    sleep 2
+
+    # Final check
+    if lsof -ti:3000 > /dev/null; then
+        echo "ERROR: Unable to kill the process running on port 3000. Exiting..."
+        exit 1
+    fi
+fi
+
+
+  # Additional sleep to ensure port is released before restarting the server.
+  echo "Waiting for an additional 5 seconds before restarting server..."
+  sleep 5
+
+done