From 5f945f33a528e7ab58fbb80330a487b7808e5652 Mon Sep 17 00:00:00 2001
From: Phil Morrell <public@emorrp1.name>
Date: Wed, 2 Feb 2022 21:25:41 +0000
Subject: [PATCH] ping supposedly offline users too

* keep the name conversion though for those online with different nicks
* presence detection across multiple bridges/gateways is unreliable
* some members only get "joined" IRC side on first message after restart
* if they're really offline, then they won't get pinged anyway
---
 bot.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bot.py b/bot.py
index c35c9f5..b70c973 100755
--- a/bot.py
+++ b/bot.py
@@ -47,6 +47,8 @@ class Server(BaseServer):
                             pfold = self.casefold(player)
                             if pfold in channel.users:
                                 ping += f"{channel.users[pfold].nickname} "
+                            else:
+                                ping += f"{player} "
 
                         await self.send(build("PRIVMSG", [chan, "Anyone ready for " + game + f" : {ping} ?"]))
                         if connections[self.name]: