diff options
| author | Jose <jose@zeroc.com> | 2012-11-01 00:24:24 +0100 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2012-11-01 00:24:24 +0100 |
| commit | e315df726ecf66239162d5d411204e60699f5bcf (patch) | |
| tree | 820a6b60da359126b709239493b36846cf9a470b /java/src/IceGridGUI/LiveDeployment/Server.java | |
| parent | IceGridGUI metrics fixes: (diff) | |
| download | ice-e315df726ecf66239162d5d411204e60699f5bcf.tar.bz2 ice-e315df726ecf66239162d5d411204e60699f5bcf.tar.xz ice-e315df726ecf66239162d5d411204e60699f5bcf.zip | |
minor code style fix
Diffstat (limited to 'java/src/IceGridGUI/LiveDeployment/Server.java')
| -rw-r--r-- | java/src/IceGridGUI/LiveDeployment/Server.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/src/IceGridGUI/LiveDeployment/Server.java b/java/src/IceGridGUI/LiveDeployment/Server.java index 9e19a7296a5..6db270aba57 100644 --- a/java/src/IceGridGUI/LiveDeployment/Server.java +++ b/java/src/IceGridGUI/LiveDeployment/Server.java @@ -917,7 +917,7 @@ public class Server extends ListArrayTreeNode else { _metricsRetrieved = false; - if(_metrics.size() > 0) + if(!_metrics.isEmpty()) { _metrics.clear(); rebuild(this, false); |