Add try count

PySymGym · Aug 7, 2023 · c7f127d · c7f127d
1 parent 622b374
commit c7f127d
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
@@ -24,7 +24,9 @@ async def dequeue_instance(request):
             print(f"issued {server_info}")
             return web.json_response(server_info.to_json())
         except Empty:
-            print(f"{os.getpid()} tried to dequeue an empty queue. Waiting...")
+            print(
+                f"{os.getpid()} tried to dequeue an empty queue. Retrying {retry_count}'s time..."
+            )
         retry_count -= 1