patch bde05b3fbfa6558d64cd0c534e3a5c9dbc83785f
Author: E. Bosch <presidev@AT@gmail.com>
Date:   Wed Feb 10 19:55:02 CET 2021
  * irc: simplify IRC username conversion
diff -rN -u old-irgramd/irc.py new-irgramd/irc.py
--- old-irgramd/irc.py	2024-11-23 03:15:39.894501927 +0100
+++ new-irgramd/irc.py	2024-11-23 03:15:39.894501927 +0100
@@ -320,7 +320,7 @@
         self.stream  = stream
         self.address = address[0]
         self.irc_nick = irc_nick
-        self.irc_username = str(username) if type(username) is int else username
+        self.irc_username = str(username)
         self.irc_realname = realname
         self.registered = False
         self.password = ''