From 8a367daec8fa95e0647a80cfe56a28e125d5751d Mon Sep 17 00:00:00 2001
From: Jim Martens <github@2martens.de>
Date: Fri, 14 Apr 2017 17:00:35 +0200
Subject: [PATCH] Ensures that every persisted agent is managed

Signed-off-by: Jim Martens <github@2martens.de>
---
 02/src/de/dis2017/data/db/ORM.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/02/src/de/dis2017/data/db/ORM.java b/02/src/de/dis2017/data/db/ORM.java
index 569fdeb..71efc94 100644
--- a/02/src/de/dis2017/data/db/ORM.java
+++ b/02/src/de/dis2017/data/db/ORM.java
@@ -105,5 +105,8 @@ public class ORM {
         } catch (SQLException e) {
             e.printStackTrace();
         }
+        if (!_agents.containsKey(agent.getId())) {
+            _agents.put(agent.getId(), agent);
+        }
     }
 }