void mysql_server_end(void)
This function finalizes the MySQL library, which should be done
when you are done using the library. However,
mysql_server_end() is deprecated
and mysql_library_end() should
be used instead. See Section 23.8.7.39, “mysql_library_end()”.
None.