#!/usr/bin/env bash
# Stop the Streamlit process started by start_streamlit.sh

cd "$(dirname "$0")/.."
PID_FILE="streamlit.pid"

if [ ! -f "$PID_FILE" ]; then
  echo "No PID file found. Streamlit may not be running."
  exit 0
fi

PID=$(cat "$PID_FILE")
if kill -0 "$PID" 2>/dev/null; then
  kill "$PID"
  echo "Stopped Streamlit (PID $PID)"
else
  echo "Process $PID not running."
fi
rm -f "$PID_FILE"