July 31, 2017
If you have multiple PID files for the same process ( e.g. 1_process_name.pid, 2_process_name.pid, ecc. ) you may have a situation like the one described above.
So, how do you delete the PID files for the processes that are no longer running, without interfering with the running processes?