Method code for $channel_ui.channel_off()

[Turn off line numbering]

---

  1: arg channel;
  2: 
  3: if (active_channels.contains(channel)) {
  4:     if (channel in $channel_db.system_channels())
  5:         .tell("<" + channel + "> You have left this channel.");
  6:     else
  7:         .broadcast(channel, ":has left this channel.");
  8:     active_channels = active_channels.del(channel);
  9: } else {
 10:     .tell("You are not on this channel.");
 11: }

---

// Created 24-Jul-1996 as a part of ColdCore, see: @help Credit