Merge pull request #2324 from ctiller/create-pull-request/patch-5f28c79

Automated fix for refs/heads/cgf
6 months ago · ded4d14b12
parent 5f28c79fa7 286b562e7c
commit ded4d14b12
1 changed files with 1 additions and 1 deletions
--- a/tools/run_tests/python_utils/start_port_server.py
+++ b/tools/run_tests/python_utils/start_port_server.py
@ -31,7 +31,7 @@ import jobset
 _PORT_SERVER_PORT = 32766


-def start_port_server(verbose = False):
+def start_port_server(verbose=False):
    # check if a compatible port server is running
    # if incompatible (version mismatch) ==> start a new one
    # if not running ==> start a new one