diff options
| author | Jose <jose@zeroc.com> | 2012-09-27 16:34:00 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2012-09-27 16:34:00 +0200 |
| commit | a43d2bf83e29a3127d94671b353480e2581a2cf9 (patch) | |
| tree | 2ce24d32a18819b5d6dbc4596769bf48ad0f9a9c /java/src/IceGridGUI/LiveDeployment/Server.java | |
| parent | Grap & Metrics UI updates (diff) | |
| download | ice-a43d2bf83e29a3127d94671b353480e2581a2cf9.tar.bz2 ice-a43d2bf83e29a3127d94671b353480e2581a2cf9.tar.xz ice-a43d2bf83e29a3127d94671b353480e2581a2cf9.zip | |
GraphView & Metrics fixes
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; |