[03:15:45] !log tools.stewardbots ./stewardbots/StewardBot/manage.sh restart # Ping timeout not noticed by bot [03:15:47] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stewardbots/SAL [03:16:33] !log tools.stewardbots ./stewardbots/StewardBot/manage.sh restart # Ping timeout not noticed by bot [03:16:34] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stewardbots/SAL [03:17:14] !log tools.stewardbots ./SULWatcher/manage.sh restart # all bots down [03:17:15] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stewardbots/SAL [03:26:38] really need to figure out how to make these bots restart themselves on ping timeout [15:42:03] the problem is the bots don't know they were disconnected from IRC, it seems the connection get muted, they don't even know the connection was closed, that is why they delay to auto restart [15:47:03] !log tools.bridgebot Double IRC messages to other bridges [15:47:05] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.bridgebot/SAL [15:52:46] a way to force the bots to acknowledge the connection was broken is count the time sice the last received PING or PONG message from IRC server, if the time is more than 2 minutes the connection probably got muted, if it is more than 6 minutes the IRC server probably closed the connection by ping timeout [15:56:31] I made the second wmopbot connection (wmopbot2) warn when that time is more than 3 minutes, and those warns are always followed by a ping timeout [22:46:27] !log tools.stewardbots ./SULWatcher/manage.sh restart # all bots down [22:46:29] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stewardbots/SAL