Delete nodes from the node manager if they are in DOWN state, this is the only

way to clean old nodes on non-master nodes.


git-svn-id: https://svn.erp5.org/repos/neo/branches/prototype3@801 71dcc9de-d417-0410-9af5-da40c76e7ee4

neo/storage/handlers/handler.py

@@ -96,6 +96,11 @@ class BaseStorageHandler(EventHandler):
                 # same uuid but different address, update it
                 n.setServer(addr)
 
+            if state == protocol.DOWN_STATE and n is not None:
+                # this node is consider as down, remove it
+                self.app.nm.remove(n)
+                continue
+
             if node_type == MASTER_NODE_TYPE:
                 if n is None:
                     n = MasterNode(server = addr)