X-Git-Url: https://plomlompom.com/repos/%7B%7Bdb.prefix%7D%7D/calendar?a=blobdiff_plain;ds=inline;f=plomlombot.py;h=a47158c302a3341cbe3e3777410b6e073c0a485d;hb=f80a0c00f5961833279e2c95ea34ff0fc5ae42f7;hp=747ab077700fa772d1c54cc62b61290c1a7bcad1;hpb=24cf06720f7e0c13e6075f69426529a2119085ba;p=plomlombot-irc.git diff --git a/plomlombot.py b/plomlombot.py old mode 100644 new mode 100755 index 747ab07..a47158c --- a/plomlombot.py +++ b/plomlombot.py @@ -1,102 +1,187 @@ +#!/usr/bin/python3 + +import argparse import socket -import datetime +import datetime import select import time import re import urllib.request import html -servername = "" -timeout = 480 -username = "plomlombot" -nickname = username -channel = "#zrolaps" +# Defaults, may be overwritten by command line arguments. +SERVER = "irc.freenode.net" +PORT = 6667 +TIMEOUT = 240 +USERNAME = "plomlombot" +NICKNAME = USERNAME + + +class ExceptionForRestart(Exception): + pass + class IO: - def __init__(self, server, port): + + def __init__(self, server, port, timeout): + self.timeout = timeout self.socket = socket.socket() self.socket.connect((server, port)) self.socket.setblocking(0) self.line_buffer = [] self.rune_buffer = "" self.last_pong = time.time() - def _pingtest(self): - if self.last_pong + timeout < time.time(): - raise RuntimeError("server not answering") - self.send_line("PING " + nickname + " " + servername) - def send_line(self, msg_orig): - msg = msg_orig + "\r\n" + self.servername = self.recv_line(send_ping=False).split(" ")[0][1:] + + def _pingtest(self, send_ping=True): + if self.last_pong + self.timeout < time.time(): + print("SERVER NOT ANSWERING") + raise ExceptionForRestart + if send_ping: + self.send_line("PING " + self.servername) + + def send_line(self, msg): + msg = msg.replace("\r", " ") + msg = msg.replace("\n", " ") + if len(msg.encode("utf-8")) > 510: + print("NOT SENT LINE TO SERVER (too long): " + msg) + print("LINE TO SERVER: " + + str(datetime.datetime.now()) + ": " + msg) + msg = msg + "\r\n" msg_len = len(msg) total_sent_len = 0 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 - print("LINE TO SERVER: " - + str(datetime.datetime.now()) + ": " + msg_orig) - def recv_line_wrapped(self): + + def _recv_line_wrapped(self, send_ping=True): if len(self.line_buffer) > 0: return self.line_buffer.pop(0) while True: - ready = select.select([self.socket], [], [], int(timeout / 2)) + ready = select.select([self.socket], [], [], int(self.timeout / 2)) if not ready[0]: - self._pingtest() + self._pingtest(send_ping) return None self.last_pong = time.time() received_runes = self.socket.recv(1024).decode("UTF-8") if len(received_runes) == 0: - raise RuntimeError("socket connection broken") - self.rune_buffer += received_runes + 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] self.rune_buffer = lines_split[-1] if len(self.line_buffer) > 0: return self.line_buffer.pop(0) - def recv_line(self): - line = self.recv_line_wrapped() + + def recv_line(self, send_ping=True): + line = self._recv_line_wrapped(send_ping) if line: print("LINE FROM SERVER " + str(datetime.datetime.now()) + ": " + - line) + line) return line -io = IO("irc.freenode.net", 6667) -io.send_line("NICK " + nickname) -io.send_line("USER " + username + " 0 * : ") -io.send_line("JOIN " + channel) -servername = io.recv_line().split(" ")[0][1:] -while 1: - line = io.recv_line() - if not line: - continue - tokens = line.split(" ") - if len(tokens) > 1: - if tokens[1] == "PRIVMSG": - sender = "" - for rune in tokens[0]: - if rune == "!": - break - if rune != ":": - sender += rune - receiver = "" - for rune in tokens[2]: - if rune == "!": - break - if rune != ":": - receiver += rune - target = sender - if receiver != nickname: - target = receiver - msg = str.join(" ", tokens[3:])[1:] + +def init_session(server, port, timeout, nickname, username, channel): + print("CONNECTING TO " + server) + io = IO(server, port, timeout) + io.send_line("NICK " + nickname) + io.send_line("USER " + username + " 0 * : ") + io.send_line("JOIN " + channel) + return io + + +def lineparser_loop(io, nickname): + + def act_on_privmsg(tokens): + + def url_check(msg): matches = re.findall("(https?://[^\s]+)", msg) for i in range(len(matches)): url = matches[i] - webpage = urllib.request.urlopen(url) + try: + webpage = urllib.request.urlopen(url, timeout=15) + except (urllib.error.HTTPError, urllib.error.URLError, + UnicodeError) as error: + print("TROUBLE FOLLOWING URL: " + str(error)) + continue charset = webpage.info().get_content_charset() + if not charset: + charset = "utf-8" + content_type = webpage.info().get_content_type() + if content_type not in ('text/html', 'text/xml', + 'application/xhtml+xml'): + print("TROUBLE INTERPRETING URL: bad content type " + + content_type) + continue content = webpage.read().decode(charset) title = str(content).split('