patch 86f9714b9d1e6bfcc23baf0d7518d1d433ae9b8a
Author: E. Bosch <presidev@AT@gmail.com>
Date:   Fri Jan 29 01:44:15 CET 2021
  * irc: Implement CASEMAPPING=ascii for nicks
diff -rN -u old-irgramd/irc.py new-irgramd/irc.py
--- old-irgramd/irc.py	2024-10-23 06:37:12.194874897 +0200
+++ new-irgramd/irc.py	2024-10-23 06:37:12.194874897 +0200
@@ -54,7 +54,7 @@
                 message = await user.stream.read_until(b'\n')
             except tornado.iostream.StreamClosedError:
                 if user in self.users.values():
-                    del self.users[user.irc_nick]
+                    del self.users[user.irc_nick.lower()]
                 del user
                 break
             message = message.decode()
@@ -119,11 +119,11 @@
 
         if not user.valid_nick(nick):
              await self.reply(user, 'ERR_ERRONEUSNICKNAME')
-        elif nick in self.users.keys():
+        elif nick.lower() in self.users.keys():
             await self.reply(user, 'ERR_NICKNAMEINUSE')
         elif user.password == user.recv_pass:
             user.irc_nick = nick
-            self.users[nick] = user
+            self.users[nick.lower()] = user
 
             if user.irc_nick in self.iid_to_tid:
                 tid = self.iid_to_tid[user.irc_nick]