tool/main.cpp
changeset 1129 4bc1d9f9d73c
parent 1128 b69b2c850160
child 1134 3356141fa2f8
--- a/tool/main.cpp	Tue Jul 22 14:26:21 2008 +0000
+++ b/tool/main.cpp	Tue Jul 22 15:23:42 2008 +0000
@@ -337,6 +337,7 @@
     if (commands.size()) {
         if (commands.size() == 1) {
             cmd = commands.front();
+            commandName = cmd->name;
             if (!helpRequested) {
                 masterDev.setIndex(masterIndex);
                 retval = cmd->execute();