void mysql_server_end(void );
mysql_server_end() is an alias for mysql_library_end().
mysql_library_init()
mysql_library_end()