php_destroy_socket   76 ext/sockets/php_sockets.h PHP_SOCKETS_API void php_destroy_socket(zend_resource *rsrc);
php_destroy_socket  621 ext/sockets/sockets.c 	le_socket = zend_register_list_destructors_ex(php_destroy_socket, NULL, le_socket_name, module_number);