More verbosity

PySymGym · Aug 9, 2023 · 3518c06 · 3518c06
1 parent 359c88e
commit 3518c06
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/VSharp.ML.AIAgent/launch_servers.py b/VSharp.ML.AIAgent/launch_servers.py
@@ -94,7 +94,9 @@ async def enqueue_instance(request):
         if wait_for_alive_retries == 0:
             raise RuntimeError(f"{returned_instance_info} has not resurrected")
 
-        logging.info(f"we should have run {psutil.Process(returned_instance_info.pid)}")
+        logging.info(
+            f"we should have run {returned_instance_info} on process: {psutil.Process(returned_instance_info.pid)}"
+        )
 
     SERVER_INSTANCES.put(returned_instance_info)
     logging.info(f"enqueue {returned_instance_info}")