ci : gracefully shut down the server (#21110)

Signed-off-by: Adrien Gallouët <angt@huggingface.co>
2026-03-28 14:49:57 +01:00
parent 82b703f8bc
commit 3d66da1809
1 changed files with 9 additions and 1 deletions
@@ -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(