From acaa6e394a54e92cae8daf4341e9652ea026b11b Mon Sep 17 00:00:00 2001
From: Torantulino <toran.richards@gmail.com>
Date: Sat, 1 Apr 2023 14:24:59 +0100
Subject: [PATCH] Fixes bug: Agent 0 does not exist

---
 scripts/agent_manager.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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