From: Adrien Gallouët <redacted>
Date: Sat, 28 Mar 2026 13:49:57 +0000 (+0100)
Subject: ci : gracefully shut down the server (#21110)
X-Git-Tag: upstream/0.0.8611~43
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=3d66da1809651543001d37f2b6cb3a172adc2557;p=pkg%2Fggml%2Fsources%2Fllama.cpp

ci : gracefully shut down the server (#21110)

Signed-off-by: Adrien Gallouët <redacted>
---

diff --git a/tools/server/tests/utils.py b/tools/server/tests/utils.py
index c6fe11261..8f62210bc 100644
--- a/tools/server/tests/utils.py
+++ b/tools/server/tests/utils.py
@@ -288,7 +288,15 @@ class ServerProcess:
             server_instances.remove(self)
         if self.process:
             print(f"Stopping server with pid={self.process.pid}")
-            self.process.kill()
+            self.process.terminate()
+            try:
+                self.process.wait(timeout=5)
+            except subprocess.TimeoutExpired:
+                print(f"Server pid={self.process.pid} did not terminate in time, killing")
+                self.process.kill()
+                self.process.wait(timeout=5)
+            except Exception as e:
+                print(f"Error waiting for server: {e}")
             self.process = None
 
     def make_request(