Searched refs:php_cli_server_worker (Results 1 – 1 of 1) sorted by relevance
2283 zend_long php_cli_server_worker; in php_cli_server_dtor() local2285 for (php_cli_server_worker = 0; in php_cli_server_dtor()2286 php_cli_server_worker < php_cli_server_workers_max; in php_cli_server_dtor()2287 php_cli_server_worker++) { in php_cli_server_dtor()2291 if (waitpid(php_cli_server_workers[php_cli_server_worker], in php_cli_server_dtor()2386 zend_long php_cli_server_worker; in php_cli_server_startup_workers() local2393 for (php_cli_server_worker = 0; in php_cli_server_startup_workers()2394 php_cli_server_worker < php_cli_server_workers_max; in php_cli_server_startup_workers()2395 php_cli_server_worker++) { in php_cli_server_startup_workers()2401 php_cli_server_worker + 1; in php_cli_server_startup_workers()[all …]
Completed in 12 milliseconds