python: reformat

Author: corona10

python/graphics.py

@@ -9,21 +9,16 @@
 
 
 class Browser:
-
     def __init__(self):
         self.window = tkinter.Tk()
         self.scroll = 0
         self.min_scroll = 0
         self.max_scroll = 0
-        self.window.title('Browser-engineering')
+        self.window.title("Browser-engineering")
         self.window.bind("<Up>", self.scrollup)
         self.window.bind("<Down>", self.scrolldown)
         self.window.bind("<MouseWheel>", self.mousewheel)
-        self.canvas = tkinter.Canvas(
-            self.window,
-            width=WIDTH,
-            height=HEIGHT
-        )
+        self.canvas = tkinter.Canvas(self.window, width=WIDTH, height=HEIGHT)
         self.canvas.pack()
 
     def load(self, url):
@@ -39,7 +34,7 @@ def layout(self, text):
             self.max_scroll = max(self.max_scroll, cursor_y)
             display_list.append((cursor_x, cursor_y, c))
             cursor_x += HSTEP
-            if cursor_x >= WIDTH - HSTEP or c == '\n':
+            if cursor_x >= WIDTH - HSTEP or c == "\n":
                 cursor_y += VSTEP
                 cursor_x = HSTEP
         return display_list
@@ -74,8 +69,8 @@ def mousewheel(self, e):
             self.render()
 
 
-
-if __name__ == '__main__':
+if __name__ == "__main__":
     import sys
+
     Browser().load(sys.argv[1])
     tkinter.mainloop()

python/http.py

@@ -2,6 +2,7 @@
 import socket
 import ssl
 import zlib
+
 try:
     import brotli
 except ImportError:
@@ -10,56 +11,56 @@
 
 def request(url):
     # 1. Parse scheme
-    scheme, url = url.split('://', 1)
-    assert scheme in ['http', 'https'], f'Unknown scheme {scheme}'
-    port = 80 if scheme == 'http' else 443
+    scheme, url = url.split("://", 1)
+    assert scheme in ["http", "https"], f"Unknown scheme {scheme}"
+    port = 80 if scheme == "http" else 443
 
     # 2. Parse host
-    host, path = url.split('/', 1)
-    path = '/' + path
+    host, path = url.split("/", 1)
+    path = "/" + path
 
     # 3. Parse port
-    if ':' in host:
-        host, port = host.split(':', 1)
+    if ":" in host:
+        host, port = host.split(":", 1)
         port = int(port)
 
     # 4. Connect
     with socket.socket(socket.AF_INET, socket.SOCK_STREAM, socket.IPPROTO_TCP) as s:
-        if scheme == 'https':
+        if scheme == "https":
             ctx = ssl.create_default_context()
             s = ctx.wrap_socket(s, server_hostname=host)
 
         s.connect((host, port))
 
         # 5. Send request
-        s.send(f'GET {path} HTTP/1.0\r\n'.encode())
-        s.send(f'Host: {host}\r\n'.encode())
-        s.send('Accept-Encoding: br,gzip,deflate\r\n'.encode())
-        s.send('\r\n'.encode())
+        s.send(f"GET {path} HTTP/1.0\r\n".encode())
+        s.send(f"Host: {host}\r\n".encode())
+        s.send("Accept-Encoding: br,gzip,deflate\r\n".encode())
+        s.send("\r\n".encode())
 
         # 6. Receive response
-        response = s.makefile('rb', newline='\r\n')
+        response = s.makefile("rb", newline="\r\n")
 
         # 7. Read status line
         line = response.readline().decode()
         # 8. Parse status line
-        version, status, explanation = line.split(' ', 2)
+        version, status, explanation = line.split(" ", 2)
 
         # 9. Check status
-        assert status == "200", f'{status}: {explanation}'
+        assert status == "200", f"{status}: {explanation}"
 
         # 10. Parse headers
         headers = {}
         while True:
             line = response.readline().decode()
-            if line == '\r\n':
+            if line == "\r\n":
                 break
-            header, value = line.split(':', 1)
+            header, value = line.split(":", 1)
             headers[header.lower()] = value.strip()
 
         body = response.read()
-        if 'content-encoding' in headers:
-            encoding = headers['content-encoding']
+        if "content-encoding" in headers:
+            encoding = headers["content-encoding"]
             body = decompress(body, encoding)
             body = body.decode()
 
@@ -68,28 +69,28 @@ def request(url):
 
 
 def decompress(data, encoding):
-    if encoding == 'gzip':
+    if encoding == "gzip":
         return gzip.decompress(data)
-    elif encoding == 'deflate':
+    elif encoding == "deflate":
         return zlib.decompress(data, wbits=-zlib.MAX_WBITS)
-    elif encoding == 'br':
+    elif encoding == "br":
         if brotli is None:
-            raise RuntimeError('please install brotli package: pip install brotli')
+            raise RuntimeError("please install brotli package: pip install brotli")
         return brotli.decompress(data)
-    elif encoding == 'identity':
+    elif encoding == "identity":
         return data
     else:
-        raise RuntimeError(f'unexpected content-encoding: {encoding}')
+        raise RuntimeError(f"unexpected content-encoding: {encoding}")
 
 
 def lex(body):
-    text = ''
+    text = ""
     in_angle = False
     for c in body:
-        if c == '<':
+        if c == "<":
             in_angle = True
-        elif c == '>':
+        elif c == ">":
             in_angle = False
         elif not in_angle:
-             text += c
+            text += c
     return text