Take care of stale pidfiles for pants server
Review Request #1791 - Created Feb. 18, 2015 and submitted
|benjyw, davidt, patricklaw|
Use psutil to detect a pidfile for a process that is no longer active.
An even more robust algorithm would check the commandline for some kind of fingerprint of the right process like we do in the nailgun task executor.
Repeated invocations of:./pants server kill <PID>
Status: Closed (submitted)
Thanks for the reviews Benjy & David. Added a TODO with Benjy's nailgun comment and submitted as commit f645e25db6a5ff19041a2bd9e8f5a32dde90a12c