equal
deleted
inserted
replaced
119 mi != getMasterIndices().end(); mi++) { |
119 mi != getMasterIndices().end(); mi++) { |
120 MasterDevice m(*mi); |
120 MasterDevice m(*mi); |
121 m.open(MasterDevice::Read); |
121 m.open(MasterDevice::Read); |
122 configs = selectedConfigs(m); |
122 configs = selectedConfigs(m); |
123 |
123 |
124 if (doIndent) { |
124 if (configs.size() && doIndent) { |
125 cout << "Master" << dec << *mi << endl; |
125 cout << "Master" << dec << m.getIndex() << endl; |
126 } |
126 } |
127 |
127 |
128 if (getVerbosity() == Verbose) { |
128 if (getVerbosity() == Verbose) { |
129 showDetailedConfigs(m, configs, doIndent); |
129 showDetailedConfigs(m, configs, doIndent); |
130 } else { |
130 } else { |