changeset 1827 | 489be2180f71 |
parent 1826 | ec6223c3b7ec |
child 1869 | 14f634f5b613 |
--- a/tool/CommandConfig.cpp Wed Feb 24 16:27:11 2010 +0100 +++ b/tool/CommandConfig.cpp Wed Feb 24 17:24:20 2010 +0100 @@ -121,8 +121,8 @@ m.open(MasterDevice::Read); configs = selectedConfigs(m); - if (doIndent) { - cout << "Master" << dec << *mi << endl; + if (configs.size() && doIndent) { + cout << "Master" << dec << m.getIndex() << endl; } if (getVerbosity() == Verbose) {