From 68c2a7eccd13e40ac08b2e3b78e8450f205e7b4b Mon Sep 17 00:00:00 2001 From: Ellyse Date: Mon, 10 Nov 2025 19:02:08 +0000 Subject: [PATCH] restart server script --- scripts/restart-local-dev.sh | 41 ++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100755 scripts/restart-local-dev.sh diff --git a/scripts/restart-local-dev.sh b/scripts/restart-local-dev.sh new file mode 100755 index 000000000..c60390793 --- /dev/null +++ b/scripts/restart-local-dev.sh @@ -0,0 +1,41 @@ +#!/usr/bin/env bash +# Change to repository root (parent of scripts directory) +SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +cd "$SCRIPT_DIR/.." + +# Parse command line arguments +CLEAR_CACHE=false +FORCE=false +while [[ $# -gt 0 ]]; do + case $1 in + --clear-cache) + CLEAR_CACHE=true + shift + ;; + --force) + FORCE=true + shift + ;; + *) + echo "Unknown option: $1" + echo "Usage: $0 [--clear-cache] [--force]" + exit 1 + ;; + esac +done + +echo "Stopping local dev servers..." +./scripts/stop-local-dev.sh + +if [[ "$CLEAR_CACHE" == "true" ]]; then + echo "Clearing cache..." + rm -rf packages/toolshed/cache/* + echo "Cache cleared." +fi + +echo "Starting local dev servers..." +if [[ "$FORCE" == "true" ]]; then + ./scripts/start-local-dev.sh --force +else + ./scripts/start-local-dev.sh +fi