run_autorestart.sh

#!/bin/sh

DELAY=1

PID=0

trap_int() {
        if [ "$PID" = "0" ]; then
                exit
        else
                kill -TERM $PID
        fi
}

trap trap_int 2 # SIGINT

while true; do
        "WHATEVER" &
        PID=$!
        wait $PID
        PID=0
        echo Restart after $DELAY seconds...
        sleep $DELAY
done