From b72f84235358fb6b3831029313f5eb3a29ddf167 Mon Sep 17 00:00:00 2001 From: nmemmert Date: Wed, 27 May 2026 13:18:39 -0400 Subject: [PATCH] restart script --- restart.sh | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100755 restart.sh diff --git a/restart.sh b/restart.sh new file mode 100755 index 0000000..e644332 --- /dev/null +++ b/restart.sh @@ -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