From cf8c5c01cfe11fd4a10520595e88cd3ccb970766 Mon Sep 17 00:00:00 2001 From: Jeremy Fincher Date: Sat, 5 Apr 2003 10:27:02 +0000 Subject: [PATCH] Changed Channel to make it more in-line with future sets.Set. --- src/irclib.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/irclib.py b/src/irclib.py index 0f49417ec..dd50e2ceb 100644 --- a/src/irclib.py +++ b/src/irclib.py @@ -146,10 +146,10 @@ class Channel(object): self.voices = set() def removeUser(self, user): - self.users.remove(user) - self.ops.remove(user) - self.halfops.remove(user) - self.voices.remove(user) + self.users.discard(user) + self.ops.discard(user) + self.halfops.discard(user) + self.voices.discard(user) class IrcState(object): """Maintains state of the Irc connection. Should also become smarter. @@ -264,9 +264,9 @@ class Irc(object): Handles PING commands already. """ - _nickSetters = set('001', '002', '003', '004', '250', '251', '252', '254', + _nickSetters = set(('001', '002', '003', '004', '250', '251', '252', '254', '255', '265', '266', '372', '375', '376', '333', '353', - '332', '366') + '332', '366')) def __init__(self, nick, user='', ident='', callbacks=None): world.ircs.append(self) self.nick = nick