PidManager()

Manager for PID files.