| 1234567891011121314151617181920 |
- #!/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"
|