diff options
| author | Jose <jose@zeroc.com> | 2012-11-01 01:57:33 +0100 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2012-11-01 01:57:33 +0100 |
| commit | cfba93db6eaafc433b4c66bd51300a336d96d4a0 (patch) | |
| tree | 2998c357848a3b231178e57489d43ff5fe2230ea /java/src/IceGridGUI/LiveDeployment/Service.java | |
| parent | minor code style fix (diff) | |
| download | ice-cfba93db6eaafc433b4c66bd51300a336d96d4a0.tar.bz2 ice-cfba93db6eaafc433b4c66bd51300a336d96d4a0.tar.xz ice-cfba93db6eaafc433b4c66bd51300a336d96d4a0.zip | |
Fixed ICE-4921 - IceBox service icon still shows the running icon when IceBox server is down
Diffstat (limited to 'java/src/IceGridGUI/LiveDeployment/Service.java')
| -rw-r--r-- | java/src/IceGridGUI/LiveDeployment/Service.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/java/src/IceGridGUI/LiveDeployment/Service.java b/java/src/IceGridGUI/LiveDeployment/Service.java index 8d73709eb29..12c01535566 100644 --- a/java/src/IceGridGUI/LiveDeployment/Service.java +++ b/java/src/IceGridGUI/LiveDeployment/Service.java @@ -345,9 +345,11 @@ public class Service extends ListArrayTreeNode if(_started) { _started = false; - if(getRoot().getTree().isExpanded(getPath())) + _metricsRetrieved = false; + if(!_metrics.isEmpty()) { - fetchMetricsViewNames(); + _metrics.clear(); + rebuild(this); } getRoot().getTreeModel().nodeChanged(this); } |