Searched refs:php_cli_server_master (Results 1 – 1 of 1) sorted by relevance
106 static pid_t php_cli_server_master; variable2282 getpid() == php_cli_server_master) { in php_cli_server_dtor()2391 php_cli_server_master = getpid(); in php_cli_server_startup_workers()
Completed in 17 milliseconds