Searched refs:is_running (Results 1 – 1 of 1) sorted by relevance
187 int is_running; member2498 server->is_running = 1; in php_cli_server_ctor()2648 while (server->is_running) { in php_cli_server_do_event_loop()2678 server.is_running = 0; in php_cli_server_sigint_handler()
Completed in 14 milliseconds