Función mysql_library_end()

void mysql_library_end(void)

Es un sinónimo de la función mysql_server_end(). Se añadió en MySQL 4.1.10 y 5.0.3.