]> git.scottworley.com Git - paperdoorknob/commitdiff
Rename: html → dom
authorScott Worley <scottworley@scottworley.com>
Sat, 30 Dec 2023 11:37:44 +0000 (03:37 -0800)
committerScott Worley <scottworley@scottworley.com>
Sat, 30 Dec 2023 11:37:44 +0000 (03:37 -0800)
paperdoorknob.py

index 6a556753479b96f55c535f53a14d6c444822edf0..05b068f6c6993015df844e7a6b7b3a3f40dc7387 100644 (file)
@@ -38,9 +38,9 @@ def process(spec: Spec) -> None:
 \\newcommand{\\href}[2]{#2\\footnote{#1}}
 ''')
     url = flatURL(spec.url)
-    html = parse(spec.htmlfilter(spec.fetcher.fetch(url)))
-    num_chunks = ilen(chunkDOMs(html))
-    for i, r in enumerate(chunkDOMs(html)):
+    dom = parse(spec.htmlfilter(spec.fetcher.fetch(url)))
+    num_chunks = ilen(chunkDOMs(dom))
+    for i, r in enumerate(chunkDOMs(dom)):
         percent = 100.0 * i / num_chunks
         spec.log(f'Processing chunk {i} of {num_chunks} ({percent:.1f}%)\r')
         spec.domfilter(r)