Searched refs:php_cli_server_dtor (Results 1 – 8 of 8) sorted by relevance
2223 static void php_cli_server_dtor(php_cli_server *server) /* {{{ */ in php_cli_server_dtor() function2625 php_cli_server_dtor(&server); in do_cli_server()
2263 static void php_cli_server_dtor(php_cli_server *server) /* {{{ */ in php_cli_server_dtor() function2778 php_cli_server_dtor(&server); in do_cli_server()
2260 static void php_cli_server_dtor(php_cli_server *server) /* {{{ */ in php_cli_server_dtor() function2775 php_cli_server_dtor(&server); in do_cli_server()
2325 static void php_cli_server_dtor(php_cli_server *server) /* {{{ */ in php_cli_server_dtor() function2764 php_cli_server_dtor(&server); in do_cli_server()