: disconnect
      Disconnects from the server.

