tool/CommandConfig.cpp
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) {