19 Aug
2013
19 Aug
'13
3:44 a.m.
On Mon, Aug 19, 2013 at 5:39 AM, Allan McRae <allan@archlinux.org> wrote:
I stored the process ID in the lock file during creation many years ago. Is there a portable way for us to determine if that process ID is still running and remove the lock file automatically if it is not?
Try to kill the PID with signal 0 and remove it if it fails with ESRCH?