# File lib/drb/drb.rb, line 1751
  def remove_server(server)
    @server.delete(server.uri)
  end