restart script

2026-05-27 13:18:39 -04:00
parent 8b44250579
commit b72f842353
1 changed files with 25 additions and 0 deletions
@@ -0,0 +1,25 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+PID_FILE="$ROOT_DIR/.vite.pid"
+
+stop_server() {
+  if [ -f "$PID_FILE" ]; then
+    OLD_PID=$(cat "$PID_FILE")
+    if kill -0 "$OLD_PID" 2>/dev/null; then
+      echo "Stopping existing Vite server (PID $OLD_PID)..."
+      kill "$OLD_PID"
+      sleep 1
+    fi
+    rm -f "$PID_FILE"
+  fi
+}
+
+start_server() {
+  echo "Restarting Vite server using setup.sh..."
+  exec "$ROOT_DIR/setup.sh"
+}
+
+stop_server
+start_server