Changeset c79d50d in mainline for tools/xtui.py

Timestamp:

2009-03-08T12:15:33Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

4d29d01

Parents:

71385d4f

Message:

indicate undefined configuration options more explicitly
(the "None" was not clear enought and might get confused with "none" value)

File:

• tools/xtui.py (modified) (1 diff)

tools/xtui.py

@@ -257 +257 @@
         elif (dialog):
                 call_dlg(dlgcmd, '--title', title, '--msgbox', msg, '6', str(width + width_extra))
-        
-        sys.stdout.write("\n%s: %s\n" % (title, msg))
+        else:
+                sys.stdout.write("\n%s: %s\n" % (title, msg))