From: Christian Heller <c.heller@plomlompom.de>
Date: Sun, 17 Jan 2016 21:06:13 +0000 (+0100)
Subject: Reconnect after ping timeout or broken socket.
X-Git-Url: https://plomlompom.com/repos/?p=plomlombot-irc.git;a=commitdiff_plain;h=39a97788307a22f4b398451df11b536dbcdc744b

Reconnect after ping timeout or broken socket.
---

diff --git a/plomlombot.py b/plomlombot.py
index 126323f..31ea88f 100644
--- a/plomlombot.py
+++ b/plomlombot.py
@@ -12,7 +12,10 @@ servername = ""
 timeout = 240
 username = "plomlombot"
 nickname = username
-channel = "#zrolaps-test"
+channel = "#zrolaps"
+
+class ExceptionForRestart(Exception):
+    pass
 
 class IO:
 
@@ -26,7 +29,8 @@ class IO:
 
     def _pingtest(self):
         if self.last_pong + timeout < time.time():
-            raise RuntimeError("server not answering")
+            print("SERVER NOT ANSWERING TO PING")
+            raise ExceptionForRestart
         self.send_line("PING " + nickname + " " + servername)
 
     def send_line(self, msg):
@@ -42,7 +46,8 @@ class IO:
         while total_sent_len < msg_len:
             sent_len = self.socket.send(bytes(msg[total_sent_len:], "UTF-8"))
             if sent_len == 0:
-                raise RuntimeError("socket connection broken")
+                print("SOCKET CONNECTION BROKEN")
+                raise ExceptionForRestart
             total_sent_len += sent_len
 
     def recv_line_wrapped(self):
@@ -56,7 +61,8 @@ class IO:
             self.last_pong = time.time()
             received_runes = self.socket.recv(1024).decode("UTF-8")
             if len(received_runes) == 0:
-                raise RuntimeError("socket connection broken")
+                print("SOCKET CONNECTION BROKEN")
+                raise ExceptionForRestart
             self.rune_buffer += received_runes 
             lines_split = str.split(self.rune_buffer, "\r\n")
             self.line_buffer += lines_split[:-1]
@@ -71,6 +77,15 @@ class IO:
             line)
         return line
 
+def init_connection():
+    print("CONNECTING TO " + servernet)
+    io = IO(servernet, port)
+    io.send_line("NICK " + nickname)
+    io.send_line("USER " + username + " 0 * : ")
+    io.send_line("JOIN " + channel)
+    servername = io.recv_line().split(" ")[0][1:]
+    return io
+
 def lineparser_loop():
 
     def act_on_privmsg(tokens):
@@ -128,9 +143,10 @@ def lineparser_loop():
             if tokens[0] == "PING":
                 io.send_line("PONG " + tokens[1])
 
-io = IO(servernet, port)
-io.send_line("NICK " + nickname)
-io.send_line("USER " + username + " 0 * : ")
-io.send_line("JOIN " + channel)
-servername = io.recv_line().split(" ")[0][1:]
-lineparser_loop()
+while 1:
+    try:
+        io = init_connection()
+        lineparser_loop()
+    except ExceptionForRestart:
+        io.socket.close()
+        continue