+ def miss(self, url):
+ with urllib.request.urlopen(url) as s:
+ if s.headers.get("content-encoding") == "gzip":
+ import gzip, io
+ return gzip.GzipFile(fileobj=io.BytesIO(s.read()), mode="r").read()
+ return s.read()
+
+ def fetch(self, url, expire=3600):