fix scripts folder

2024-12-03 18:35:15 +01:00 · 2024-12-03 18:35:15 +01:00 · d23c80893d
commit d23c80893d
parent db675ba04a
1 changed files with 4 additions and 5 deletions
--- a/scripts/wait_for_listening_port.py
+++ b/scripts/wait_for_listening_port.py
@ -49,11 +49,10 @@ def main():
    parser.add_argument("--server-pid", type=int)
    args = parser.parse_args()
    executor = ThreadPoolExecutor(max_workers=len(args.port))
-    futures = []
-    for p in args.port:
-        futures.append(
+    futures = [
        executor.submit(_wait_for_port, p, args.server_pid, args.timeout)
-        )
+        for p in args.port
+    ]
    for f in as_completed(futures):
        ok, msg = f.result()
        if ok: