Yes, your kill 0, $pid is indeed a much better solution.

The only reason to extract the PID with my solution is to check it against the PID that you have stored, which as you say isn't that great when we can just ask the system directly.

It still would have worked tho :)