From c7cf795c3725ecdf3063bf086fe0e6860fa2ee6a Mon Sep 17 00:00:00 2001
From: PF <pierre-francois.gimenez@laposte.net>
Date: Sat, 27 May 2017 00:38:13 +0200
Subject: [PATCH] Bugfix memory manager

---
 pc/src/memory/MemoryManager.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pc/src/memory/MemoryManager.java b/pc/src/memory/MemoryManager.java
index cc0c94bc..fc6c356d 100644
--- a/pc/src/memory/MemoryManager.java
+++ b/pc/src/memory/MemoryManager.java
@@ -149,6 +149,7 @@ public synchronized void destroyNode(T objet)
 		{
 			log.critical("Objet déjà détruit ! " + indice_state + " > " + firstAvailable);
 			new Exception().printStackTrace(log.getPrintWriter());
+			return;
 		}
 
 		// On inverse dans le Vector les deux objets,