Files
github-actions[bot] c71da84035
Merge-upstream / merge (push) Canceled after 0s
💋 Sync 2026-10-11 00:16:14
2026-10-11 00:16:14 +08:00

17 lines
444 B
Bash
Executable File

#!/bin/sh
PIDFILE="/var/run/packet_capture.pid"
pid=$(cat "$PIDFILE" 2>/dev/null)
case "$pid" in ''|*[!0-9]*) pid="" ;; esac
if [ -n "$pid" ] && grep -sq packet_capture "/proc/$pid/cmdline"; then
ppid=$(pgrep -P $pid)
[ -n "$ppid" ] && kill -TERM $ppid
else
# Nothing runs it any more (the helper died on an error before removing
# it): a stale pidfile made every later start answer "running".
rm -f "$PIDFILE"
fi
exit 0