A subprocess manager in PHP