A ping timeout wasn't caught by the bot, this should fix that.
Admins and ignored nicks are now sets. This should reduce memory usage over long instances, and improve performance with large numbers of admins and ignores.
Remnants of asyncore hackery in certain plugins are also fixed.
A ping timeout wasn't caught by the bot, this should fix that.
Admins and ignored nicks are now sets. This should reduce memory usage over long instances, and improve performance with large numbers of admins and ignores.
Remnants of asyncore hackery in certain plugins are also fixed.