Clean up __main__

BlankSpruce · Jun 11, 2024 · c9ea7ca · c9ea7ca
1 parent 88650fd
commit c9ea7ca
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/gersemi/__main__.py b/gersemi/__main__.py
@@ -190,7 +190,7 @@ def main():
     configuration = make_configuration(args)
     mode = get_mode(args)
 
-    sys.exit(run(mode, configuration, args.workers, args.sources))
+    sys.exit(run(mode, configuration, args.sources))
 
 
 if __name__ == "__main__":

diff --git a/gersemi/runner.py b/gersemi/runner.py
@@ -224,12 +224,10 @@ def handle_files_to_format(
     return compute_error_code(code for _, code in results)
 
 
-def run(
-    mode: Mode, configuration: Configuration, num_workers: int, sources: Iterable[Path]
-):
+def run(mode: Mode, configuration: Configuration, sources: Iterable[Path]):
     requested_files = get_files(sources)
 
-    pool_cm = create_pool(Path("-") in requested_files, num_workers)
+    pool_cm = create_pool(Path("-") in requested_files, configuration.workers)
     with create_cache() as cache, pool_cm() as pool:
         already_formatted_files, files_to_format = split_files(
             cache, configuration.summary(), requested_files