Searched refs:php_cli_server_sigint_handler (Results 1 – 1 of 1) sorted by relevance
2378 static void php_cli_server_sigint_handler(int sig) /* {{{ */ in php_cli_server_sigint_handler() function2455 signal(SIGINT, php_cli_server_sigint_handler); in do_cli_server()
Completed in 10 milliseconds