#!/bin/bash
# Stop the AtomSpace learning daemon
PID_FILE="/tmp/atomspace-learner.pid"
SOCK="/tmp/atomspace-learner.sock"
if [ -f "$PID_FILE" ]; then
PID=$(cat "$PID_FILE")
echo "Stopping daemon (PID: $PID)..."
kill "$PID" 2>/dev/null
rm -f "$PID_FILE"
rm -f "$SOCK"
echo "Stopped."
else
echo "No PID file. Cleaning up socket..."
rm -f "$SOCK"
fi