pidmanager (pypi): Module for managing PID files for Python scripts
Keywords: PID|pid|pidfile