diff options
| author | Tyler Hoang <tyler@tylerhoang.xyz> | 2026-05-19 00:38:46 -0700 |
|---|---|---|
| committer | Tyler Hoang <tyler@tylerhoang.xyz> | 2026-05-19 00:38:46 -0700 |
| commit | dcb417cbf251a427861b2cbeb50e7f6a9f06f212 (patch) | |
| tree | b86d188f9f2860f186bf4e84b4b757ad5ac2219b /scripts/stop-stack.sh | |
| parent | 0c557f44b59d90900d6a2052a9d97c0266d8feb1 (diff) | |
unified start/stop script and included systemd files
Diffstat (limited to 'scripts/stop-stack.sh')
| -rwxr-xr-x | scripts/stop-stack.sh | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/scripts/stop-stack.sh b/scripts/stop-stack.sh deleted file mode 100755 index 606de01..0000000 --- a/scripts/stop-stack.sh +++ /dev/null @@ -1,42 +0,0 @@ -#!/usr/bin/env bash - -set -euo pipefail - -ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" -RUN_DIR="$ROOT_DIR/.run" - -BACKEND_PID_FILE="$RUN_DIR/backend.pid" -FRONTEND_PID_FILE="$RUN_DIR/frontend.pid" - -stop_process() { - local name="$1" - local pid_file="$2" - if [[ ! -f "$pid_file" ]]; then - echo "$name not running" - return - fi - - local pid - pid="$(cat "$pid_file")" - - if [[ -n "$pid" ]] && kill -0 "$pid" 2>/dev/null; then - kill "$pid" 2>/dev/null || true - for _ in {1..20}; do - if ! kill -0 "$pid" 2>/dev/null; then - break - fi - sleep 0.25 - done - if kill -0 "$pid" 2>/dev/null; then - kill -9 "$pid" 2>/dev/null || true - fi - echo "Stopped $name (PID $pid)" - else - echo "$name pid file was stale" - fi - - rm -f "$pid_file" -} - -stop_process "frontend" "$FRONTEND_PID_FILE" -stop_process "backend" "$BACKEND_PID_FILE" |
