#!/system/bin/sh
set -eu
if [ -e "$PIDF" ]; then
    PID=$(cat "$PIDF")
    if kill -0 "$PID" 2>/dev/null; then
        kill "$PID"
        echo "stopping $PID"
    fi
    rm -f "$PIDF"
else
    echo "not running"
fi