More accurate mysql_close()