python-pidfile (pypi): PIDFile context manager.
Keywords: kill|pid|pidfile|python|system