diff options
Diffstat (limited to 'java/src/IceGridGUI/LiveDeployment/Server.java')
-rw-r--r-- | java/src/IceGridGUI/LiveDeployment/Server.java | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/LiveDeployment/Server.java b/java/src/IceGridGUI/LiveDeployment/Server.java index c141f83fdc3..4c0ac2367fa 100644 --- a/java/src/IceGridGUI/LiveDeployment/Server.java +++ b/java/src/IceGridGUI/LiveDeployment/Server.java @@ -777,6 +777,20 @@ public class Server extends ListArrayTreeNode } } + void rebuild(Server server, boolean fetchMetricsViewNames) + { + _metrics.clear(); + rebuild(server); + if(fetchMetricsViewNames) + { + _metricsRetrieved = false; + if(getRoot().getTree().isExpanded(getPath())) + { + fetchMetricsViewNames(); + } + } + } + void rebuild(Server server) { _resolver = server._resolver; |