diff --git a/tools/dashboard-run.py b/tools/dashboard-run.py index bb0ead0efafd11eb19a117b8b2240baca572b242..e604556033f5c424aceade9bb942d79a50062987 100644 --- a/tools/dashboard-run.py +++ b/tools/dashboard-run.py @@ -344,7 +344,7 @@ def handle(request): found.append((name, 0, text)) else: source, version = value["source"], value["release"] - selected = (name.endswith("-prod-" + source + ".log") or name.endswith("-prod-" + version + ".log")) or name.endswith("-rollback-" + version + ".log") + selected = name.endswith(("-prod-" + source + ".log", "-prod-" + version + ".log", "-rollback-" + version + ".log")) if not selected and not re.fullmatch(r"[0-9a-f-]{36}\.log", name): continue delta = abs(path.stat().st_mtime - value["time"])