24 lines
451 B
Bash
Executable File
24 lines
451 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
cd "$(dirname "$0")"
|
|
|
|
PID_FILE=".demo.pid"
|
|
|
|
if [ ! -f "$PID_FILE" ]; then
|
|
echo "arcadia-admin not running (no .demo.pid)"
|
|
exit 0
|
|
fi
|
|
|
|
pid="$(cat "$PID_FILE")"
|
|
|
|
if [ -n "$pid" ] && kill -0 "$pid" 2>/dev/null; then
|
|
pkill -P "$pid" 2>/dev/null || true
|
|
kill "$pid" 2>/dev/null || true
|
|
echo "arcadia-admin stopped (pid $pid)"
|
|
else
|
|
echo "arcadia-admin pid $pid not alive, cleaning up"
|
|
fi
|
|
|
|
rm -f "$PID_FILE"
|