|
|
@@ -912,7 +912,7 @@ class WebServer: |
|
|
|
# f: iterable producing tuples (path, line) where each line has the format '<ts> " " <command> " " <content>', <ts> is a float, <command> is one of the valid commands, and <content> is any str |
|
|
|
# filter: function taking the line fields (path: str, ts: float, command: str, content: str) and returning whether to include the line |
|
|
|
for path, line in f: |
|
|
|
ts, command, content = line.strip().split(' ', 2) |
|
|
|
ts, command, content = line.removesuffix('\n').split(' ', 2) |
|
|
|
ts = float(ts) |
|
|
|
if not filter(path, ts, command, content): |
|
|
|
continue |
|
|
|