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