void mysql_server_end(void)
Description
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 22.9.3.39, “mysql_library_end()”.
Return Values
None.