[PR #11379/b3dc06a7 backport][stable-12] Clean up other Python files (#11382)

Clean up other Python files (#11379)

* Address issues found by ruff check.

* Make mypy happy; remove some Python 2 compat code.

* Also declare port1.

(cherry picked from commit b3dc06a7dd)

Co-authored-by: Felix Fontein <felix@fontein.de>
This commit is contained in:
patchback[bot]
2026-01-05 18:57:50 +01:00
committed by GitHub
parent 1d09a36e0f
commit e0bd7e334e
16 changed files with 52 additions and 47 deletions

View File

@@ -20,7 +20,7 @@ def main():
for line in sys.stdin:
seconds = time.time() - start
sys.stdout.write("%02d:%02d %s" % (seconds // 60, seconds % 60, line))
sys.stdout.write(f"{seconds // 60:02}:{seconds % 60:02} {line}")
sys.stdout.flush()