tiger-seo/PhpBuiltinServer — pull request #16 by wilwade (2014-12-19 01:21:14+00:00)
Title: Killing child processes

On some systems PHP will spawn child processes, but these are not closed by proc_terminate due to a 8 year old bug in PHP (https://bugs.php.net/bug.php?id=39992)