Searched refs:php_cli_server_sigint_handler (Results 1 – 8 of 8) sorted by relevance
2524 static void php_cli_server_sigint_handler(int sig) /* {{{ */ in php_cli_server_sigint_handler() function2621 signal(SIGINT, php_cli_server_sigint_handler); in do_cli_server()
2671 static void php_cli_server_sigint_handler(int sig) /* {{{ */ in php_cli_server_sigint_handler() function2768 signal(SIGINT, php_cli_server_sigint_handler); in do_cli_server()
2668 static void php_cli_server_sigint_handler(int sig) /* {{{ */ in php_cli_server_sigint_handler() function2765 signal(SIGINT, php_cli_server_sigint_handler); in do_cli_server()
2659 static void php_cli_server_sigint_handler(int sig) /* {{{ */ in php_cli_server_sigint_handler() function2754 signal(SIGINT, php_cli_server_sigint_handler); in do_cli_server()