pp-planer/stop_dev.sh
Thorsten Bus 1eb4f1642f rename cts-work to pp-planer, move Dockerfile to build/, optimize dev scripts
- Rename all cts-work references to pp-planer (valet, sanctum, playwright, e2e, docs)
- Fix docker-compose build context to use project root with build/Dockerfile
- Add .dockerignore to exclude unnecessary files from Docker build
- start_dev.sh: stale PID cleanup, dependency checks, APP_KEY check, process health verification
- stop_dev.sh: fix set -e crash on arithmetic, report already-dead processes, idempotent exit
2026-03-30 16:00:02 +02:00

37 lines
804 B
Bash
Executable file

#!/usr/bin/env bash
set -euo pipefail
PROJECT_DIR="$(cd "$(dirname "$0")" && pwd)"
PID_FILE="$PROJECT_DIR/.dev.pid"
GREEN='\033[0;32m'
RED='\033[0;31m'
YELLOW='\033[1;33m'
NC='\033[0m'
if [ ! -f "$PID_FILE" ]; then
echo -e "${RED}Dev-Umgebung läuft nicht (keine PID-Datei).${NC}"
exit 0
fi
STOPPED=0
ALREADY_DEAD=0
while read -r PID; do
if kill "$PID" 2>/dev/null; then
STOPPED=$((STOPPED + 1))
echo -e " ${YELLOW}${NC} Prozess $PID gestoppt"
else
ALREADY_DEAD=$((ALREADY_DEAD + 1))
fi
done < <(tr ' ' '\n' < "$PID_FILE")
rm -f "$PID_FILE"
echo ""
if [ "$ALREADY_DEAD" -gt 0 ]; then
echo -e "${YELLOW} $ALREADY_DEAD Prozess(e) waren bereits beendet.${NC}"
fi
echo -e "${GREEN}Dev-Umgebung gestoppt. ($STOPPED Prozess(e) beendet)${NC}"
echo ""