Searched refs:php_cli_server_worker (Results 1 – 1 of 1) sorted by relevance
2389 zend_long php_cli_server_worker; in php_cli_server_dtor() local2391 for (php_cli_server_worker = 0; in php_cli_server_dtor()2392 php_cli_server_worker < php_cli_server_workers_max; in php_cli_server_dtor()2393 php_cli_server_worker++) { in php_cli_server_dtor()2397 if (waitpid(php_cli_server_workers[php_cli_server_worker], in php_cli_server_dtor()2510 zend_long php_cli_server_worker; in php_cli_server_startup_workers() local2517 for (php_cli_server_worker = 0; in php_cli_server_startup_workers()2518 php_cli_server_worker < php_cli_server_workers_max; in php_cli_server_startup_workers()2519 php_cli_server_worker++) { in php_cli_server_startup_workers()2525 php_cli_server_worker + 1; in php_cli_server_startup_workers()[all …]
Completed in 12 milliseconds