diff options
| author | Jose <jose@zeroc.com> | 2013-01-03 22:53:33 +0100 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2013-01-03 22:53:33 +0100 |
| commit | 77635fc0733d94e1ef97c6dbc7a2fcef4e8433af (patch) | |
| tree | 7b6dab1678a6d3a12d023206da984faf8f57181c /java/src/IceGridGUI/Coordinator.java | |
| parent | Fixed (ICE-5173) - Missing menu for Enable/Disable Metrics View (diff) | |
| download | ice-77635fc0733d94e1ef97c6dbc7a2fcef4e8433af.tar.bz2 ice-77635fc0733d94e1ef97c6dbc7a2fcef4e8433af.tar.xz ice-77635fc0733d94e1ef97c6dbc7a2fcef4e8433af.zip | |
Fixed(ICE-5174) - Metrics Graph and disabled Metrics View
Diffstat (limited to 'java/src/IceGridGUI/Coordinator.java')
| -rw-r--r-- | java/src/IceGridGUI/Coordinator.java | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/Coordinator.java b/java/src/IceGridGUI/Coordinator.java index 109cb5ed6b0..729d1e8a3f7 100644 --- a/java/src/IceGridGUI/Coordinator.java +++ b/java/src/IceGridGUI/Coordinator.java @@ -1230,6 +1230,15 @@ public class Coordinator } _liveApplications.clear(); + // + // Close al graphs + // + java.util.List<GraphView> views = new java.util.ArrayList<GraphView>(_graphViews); + for(GraphView v : views) + { + v.close(); + } + _logout.setEnabled(false); _showLiveDeploymentFilters.setEnabled(false); _openApplicationFromRegistry.setEnabled(false); |