Fixes bug: Agent 0 does not exist

2025-12-17 14:04:27 +01:00 · 2023-04-01 14:24:59 +01:00
parent 70a386b6ee
commit acaa6e394a
1 changed files with 1 additions and 1 deletions
--- a/scripts/agent_manager.py
+++ b/scripts/agent_manager.py
@@ -60,7 +60,7 @@ def delete_agent(key):
    global agents

    try:
-        del agents[key]
+        del agents[int(key)]
        return True
    except KeyError:
        return False