Process manager for PHP