mysql_server_end()

  Updated