X-Git-Url: https://plomlompom.com/repos/?a=blobdiff_plain;ds=sidebyside;f=plomlombot.py;h=7d0f5355a1f70eb1cc946249d1d5e76154b33b49;hb=4a2678aba39982c7912a697bf421d1fefb57ac41;hp=7d915dc2f80c79157119089aa2e0dd6e9566d16a;hpb=d074cd51f4378884e977b26490af1c6d1dcc81c8;p=plomlombot-irc.git diff --git a/plomlombot.py b/plomlombot.py old mode 100644 new mode 100755 index 7d915dc..7d0f535 --- a/plomlombot.py +++ b/plomlombot.py @@ -1,33 +1,45 @@ +#!/usr/bin/python3 + +import argparse import socket import datetime import select import time import re import urllib.request +import http.client import html -servernet = "irc.freenode.net" -port = 6667 -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() + self.servername = self.recv_line(send_ping=False).split(" ")[0][1:] - def _pingtest(self): - if self.last_pong + timeout < time.time(): - raise RuntimeError("server not answering") - self.send_line("PING " + nickname + " " + servername) + 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", " ") @@ -35,83 +47,146 @@ class IO: 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) + + 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 - 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(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:] -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:] - matches = re.findall("(https?://[^\s]+)", msg) + +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) - content_type = webpage.info().get_content_type() - if not content_type in ('text/html', 'text/xml', - 'application/xhtml+xml'): + request = urllib.request.Request(url, headers={ + "User-Agent": "plomlombot" + }) + try: + webpage = urllib.request.urlopen(request, timeout=15) + except (urllib.error.HTTPError, urllib.error.URLError, + UnicodeError, http.client.BadStatusLine, + UnicodeDecodeError) 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('