Searched refs:php_cli_server_master (Results 1 – 1 of 1) sorted by relevance
115 static pid_t php_cli_server_master; variable2388 getpid() == php_cli_server_master) { in php_cli_server_dtor()2495 if (getppid() != php_cli_server_master) { in php_cli_server_worker_install_pdeathsig()2515 php_cli_server_master = getpid(); in php_cli_server_startup_workers()
Completed in 12 milliseconds