#!/bin/bash
cdir=$(cd "$(dirname "$0")"; pwd)
if [ -f ragserver.pid ]; then
    kill $(cat ragserver.pid) 2>/dev/null && echo "RAG Server stopped" || echo "Server not running"
    rm -f ragserver.pid
else
    echo "No PID file found"
fi