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
(,
const ref IRCEvent event
,
const string rawChannel
,
const Flag!"home" delFromHomes
)

Parameters

plugin AdminPlugin

The current AdminPlugin.

event IRCEvent

The triggering IRCEvent.

rawChannel string

The channel to be removed, potentially in unstripped, cased form.