diff options
| author | Jose <jose@zeroc.com> | 2012-08-30 02:31:23 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2012-08-30 02:31:23 +0200 |
| commit | 02165820ba90b007a268bbadd1c2dc63c0a9b6d4 (patch) | |
| tree | d035c85f331cb300d6cf59dd0c7b433d47a0f101 /cpp/src/Ice/MetricsAdminI.cpp | |
| parent | IceGridGUI Metrics Graphs (diff) | |
| download | ice-02165820ba90b007a268bbadd1c2dc63c0a9b6d4.tar.bz2 ice-02165820ba90b007a268bbadd1c2dc63c0a9b6d4.tar.xz ice-02165820ba90b007a268bbadd1c2dc63c0a9b6d4.zip | |
minor g++ warning
Diffstat (limited to 'cpp/src/Ice/MetricsAdminI.cpp')
| -rw-r--r-- | cpp/src/Ice/MetricsAdminI.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/src/Ice/MetricsAdminI.cpp b/cpp/src/Ice/MetricsAdminI.cpp index b7b5a397ea2..6bf550df0a2 100644 --- a/cpp/src/Ice/MetricsAdminI.cpp +++ b/cpp/src/Ice/MetricsAdminI.cpp @@ -240,7 +240,7 @@ MetricsMapI::detached(Entry* entry) } } - if(_detachedQueue.size() == _retain) + if(static_cast<int>(_detachedQueue.size()) == _retain) { // Remove oldest entry if there's still no room _objects.erase(_detachedQueue.front()->id()); |