Fix rare server state case

PySymGym · Aug 8, 2023 · 16dc283 · 16dc283
1 parent 66c8fe7
commit 16dc283
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/VSharp.ML.AIAgent/launch_servers.py b/VSharp.ML.AIAgent/launch_servers.py
@@ -59,9 +59,9 @@ async def enqueue_instance(request):
             logging.info(
                 f"Waiting for server to die, {wait_for_reset_retries} retries left"
             )
-            if (
-                psutil.Process(returned_instance_info.pid).status()
-                != psutil.STATUS_RUNNING
+            if psutil.Process(returned_instance_info.pid).status() in (
+                psutil.STATUS_DEAD,
+                psutil.STATUS_ZOMBIE,
             ):
                 break
             time.sleep(FeatureConfig.ON_GAME_SERVER_RESTART.wait_for_reset_time)