Searched refs:php_cli_server_worker (Results 1 – 1 of 1) sorted by relevance
2298 zend_long php_cli_server_worker; in php_cli_server_dtor() local2300 for (php_cli_server_worker = 0; in php_cli_server_dtor()2301 php_cli_server_worker < php_cli_server_workers_max; in php_cli_server_dtor()2302 php_cli_server_worker++) { in php_cli_server_dtor()2306 if (waitpid(php_cli_server_workers[php_cli_server_worker], in php_cli_server_dtor()2401 zend_long php_cli_server_worker; in php_cli_server_startup_workers() local2408 for (php_cli_server_worker = 0; in php_cli_server_startup_workers()2409 php_cli_server_worker < php_cli_server_workers_max; in php_cli_server_startup_workers()2410 php_cli_server_worker++) { in php_cli_server_startup_workers()2416 php_cli_server_worker + 1; in php_cli_server_startup_workers()[all …]
Completed in 13 milliseconds