equal
deleted
inserted
replaced
108 mi != getMasterIndices().end(); mi++) { |
108 mi != getMasterIndices().end(); mi++) { |
109 MasterDevice m(*mi); |
109 MasterDevice m(*mi); |
110 m.open(MasterDevice::Read); |
110 m.open(MasterDevice::Read); |
111 domains = selectedDomains(m); |
111 domains = selectedDomains(m); |
112 |
112 |
113 if (doIndent) { |
113 if (domains.size() && doIndent) { |
114 cout << "Master" << dec << *mi << endl; |
114 cout << "Master" << dec << *mi << endl; |
115 } |
115 } |
116 |
116 |
117 for (di = domains.begin(); di != domains.end(); di++) { |
117 for (di = domains.begin(); di != domains.end(); di++) { |
118 showDomain(m, *di, doIndent); |
118 showDomain(m, *di, doIndent); |