delChannel

Removes a channel from the list of currently active home or guest channels, from the IRCBot.homeChannels and IRCBot.guestChannels arrays of the current AdminPlugin's IRCPluginState, respectively.

version(WithAdminPlugin)

private

void

delChannel

(

AdminPlugin plugin

,

const ref IRCEvent event

,

const string rawChannel

,

const bool delFromHomes

)

Parameters

plugin AdminPlugin: The current AdminPlugin.
event IRCEvent: The triggering IRCEvent.
rawChannel string: The channel to be removed, potentially in unstripped, cased form.
delFromHomes bool: Whether to remove a home or a guest channel.