void acl_end(void) { static int __have_ended = 0; if (__have_ended) return; __have_ended = 1; #if defined(WIN32) acl_socket_end(); acl_pthread_end(); #endif }
void acl_lib_end(void) { static int __have_ended = 0; if (__have_ended) return; __have_ended = 1; #if defined(ACL_WINDOWS) acl_socket_end(); acl_pthread_end(); #endif }