[
https://issues.apache.org/jira/browse/ZOOKEEPER-2888?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Cesar Stuardo updated ZOOKEEPER-2888:
-
Description:
When we run our Distributed system Model Checking (DMCK) in ZooKeeper
[
https://issues.apache.org/jira/browse/ZOOKEEPER-2888?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Cesar Stuardo updated ZOOKEEPER-2888:
-
Summary: Reconfig Command Isolates One of the Nodes when All Ports Change
(was:
[
https://issues.apache.org/jira/browse/ZOOKEEPER-2888?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Cesar Stuardo updated ZOOKEEPER-2888:
-
Summary: Reconfig Command Isolates One of the Nodes when all ports change
(was: