If the PID doesn't map to a running process, then we can simply ignore the presence of the PID file and overwrite it with the current (new) PID later.
8.8 KiB
Executable File
8.8 KiB
Executable File