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,