diff --git a/scripts/agent_manager.py b/scripts/agent_manager.py index 2389e7bd71..285b9f1d7b 100644 --- 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