#!/usr/bin/env bash set -euo pipefail PORT="${1:-8520}" PID_FILE="./logs/server.pid" if [ -f "$PID_FILE" ]; then PID=$(cat "$PID_FILE") if kill -0 "$PID" 2>/dev/null; then kill "$PID" echo "Killed Argus MCP pid $PID" exit 0 fi fi if [ -n "$PORT" ]; then pkill -f "uvicorn argus_mcp.server:app --host 0.0.0.0 --port $PORT" || true fi echo "No running Argus MCP process found"