Bugfix memory manager

INTechSenpai · May 26, 2017 · c7cf795 · c7cf795
1 parent c25b13c
commit c7cf795
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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,