Calculate time elapsed using time.perf_counter.

This makes --verbose-timing more useful to see which linter is falling behind. Signed-off-by: Zixuan James Li <[email protected]>
zulip · Sep 7, 2023 · 3ef6670 · 3ef6670
1 parent a3ed087
commit 3ef6670
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/zulint/command.py b/zulint/command.py
@@ -2,6 +2,7 @@
 import logging
 import multiprocessing
 import sys
+import time
 import weakref
 from typing import Callable, Dict, List, Mapping, NoReturn, Sequence, Set, Tuple, Union
 
@@ -57,9 +58,11 @@ def split_arg_into_list(arg: str) -> List[str]:
 def run_parallel_worker(item: Tuple[str, int]) -> Tuple[str, int]:
     name, func_id = item
     func = run_parallel_functions[func_id]
-    logging.info("start " + name)
+    logging.info("start {}".format(name))
+    time_start = time.perf_counter()
     result = func()
-    logging.info("finish " + name)
+    time_end = time.perf_counter()
+    logging.info("finish {}; elapsed time: {}".format(name, time_end - time_start))
     sys.stdout.flush()
     sys.stderr.flush()
     return name, result