Browse Source

Also remove element from the cache if it is deleted (only dictionary itself)

Yentl Van Tendeloo 9 years ago
parent
commit
52458f8431
1 changed files with 5 additions and 0 deletions
  1. 5 0
      state/modelverse_state/main.py

+ 5 - 0
state/modelverse_state/main.py

@@ -324,8 +324,13 @@ class ModelverseState(object):
             return (None, status.FAIL_DN_UNKNOWN)
 
         self.nodes.remove(node)
+
+        if node in self.cache:
+            del self.cache[node]
+
         if node in self.values:
             del self.values[node]
+
         s = set()
         for e in self.outgoing[node]:
             s.add(e)