anchor.diff:            throw(e);
           }
         };
  -      connection._connectionEstablished(socket);
  -      _connections.add(connection);
       }
       serverSocket.onConnection = onConnection;
       _server = serverSocket;
  
positive.code:       // Accept the client connection.
        _HttpConnection connection = new _HttpConnection(this);
        connection._connectionEstablished(socket);
        connection.onRequestReceived = _handleRequest;
        connection.onClosed = () => _connections.remove(connection);
        connection.onDetach = () => _connections.remove(connection);
  
negative.code:     }
      _server = null;
      for (_HttpConnection connection in _connections) {
        connection._destroy();
      }
      _connections.clear();
    }
  