protect against deadlock for built-in php dev server