killserver.sh 399 B

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