mirror of
https://github.com/jlu5/PyLink.git
synced 2025-04-01 13:27:05 +02:00

Previously, PyLink spuriously removed PID files even if -n/--no-check-pid was set or if PID file checking caused PyLink to quit (cherry picked from commit 91659ea992e5be9fc645f8805a09c2dffef4148e)