docs: public void disconnect() {
          if (socket != null) {
              try {
                  socket.close();
              }
              catch (IOException ioe) {
  
                  // Does not matter, I guess.
              }
              socket = null;
          }
          connected = false;
      }