samwaters/pidmanager (packagist): PID Manager for PHP
Keywords: php|file|pid