From 556c341f721387d8287ccb8f44890b5517b9ce6d Mon Sep 17 00:00:00 2001
From: Xeophon <46377542+xeophon@users.noreply.github.com>
Date: Sun, 24 May 2026 09:27:25 +0200
Subject: [PATCH] Fix EnvServer executor installation

---
 verifiers/serve/server/env_server.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/verifiers/serve/server/env_server.py b/verifiers/serve/server/env_server.py
index 70d97a8880..faf0ff4688 100644
--- a/verifiers/serve/server/env_server.py
+++ b/verifiers/serve/server/env_server.py
@@ -87,6 +87,10 @@ async def close(self) -> None:
 
     async def run(self) -> None:
         """Run the server with signal-based graceful shutdown."""
+        from verifiers.utils.thread_utils import install_default_executor
+
+        install_default_executor()
+
         if self.death_pipe is not None:
             monitor_death_pipe(self.death_pipe)