Files
syscall_monitor/stop.sh

15 lines
249 B
Bash
Raw Normal View History

2026-06-09 13:27:51 +08:00
#!/usr/bin/env bash
cd "$(dirname "$0")"
if [ -f .pid ]; then
PID=$(cat .pid)
if kill -0 "$PID" 2>/dev/null; then
kill "$PID"
echo "stopped pid=$PID"
else
echo "pid $PID not running"
fi
rm -f .pid
else
echo "no .pid file"
fi