42Crunch MCP Server

#!/bin/bash # Stop 42crunch MCP Server daemon SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" PROJECT_DIR="$(dirname "$SCRIPT_DIR")" PIDFILE="${PIDFILE:-$PROJECT_DIR/42crunch-mcp.pid}" if [ ! -f "$PIDFILE" ]; then echo "PID file not found: $PIDFILE" echo "Server may not be running" exit 1 fi PID=$(cat "$PIDFILE") if ! ps -p "$PID" > /dev/null 2>&1; then echo "Process $PID is not running" rm -f "$PIDFILE" exit 1 fi echo "Stopping 42crunch MCP Server (PID: $PID)..." kill "$PID" # Wait for process to stop for i in {1..10}; do if ! ps -p "$PID" > /dev/null 2>&1; then echo "Server stopped successfully" rm -f "$PIDFILE" exit 0 fi sleep 1 done # Force kill if still running if ps -p "$PID" > /dev/null 2>&1; then echo "Force killing server..." kill -9 "$PID" rm -f "$PIDFILE" echo "Server force stopped" else rm -f "$PIDFILE" echo "Server stopped" fi