code: function Channel_delAgent(agent) {
    if (this.agents.get(agent.info.id) == null) return
  
    DEBUG("channel.delAgent(" + utils.JS(agent.info) + ")")
    this.agents.delete(agent.info.id)
    this.session.sendEvent("agentDestroyed", "server", agent.info)
  }
docs: ------------------------------------------------------------------------------