Changeset 20234

Show
Ignore:
Timestamp:
05/21/07 14:32:26 (2 years ago)
Author:
aronb
Message:

Silence warning.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • juggler/trunk/modules/gadgeteer/cluster/ClusterDepChecker.cpp

    r20067 r20234  
    116116      << " (type: " << element->getID() << ") ----\n" << vprDEBUG_FLUSH; 
    117117 
    118    jccl::ConfigManager* cfg_mgr = jccl::ConfigManager::instance(); 
    119  
    120118   if (element->getID() == ClusterNetwork::getClusterNodeElementType()) 
    121119   { 
    …… 
    138136          << "Device node's ConfigElement" 
    139137          << " ==> " << vprDEBUG_FLUSH; 
    140        
     138 
     139      jccl::ConfigManager* cfg_mgr = jccl::ConfigManager::instance(); 
     140 
    141141      if (!cfg_mgr->isElementInActiveList( device_host ) || NULL == node) 
    142142      {