Changeset 48c3d50 in mainline for tools/config.py

Timestamp:

2009-01-21T17:11:37Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

d752cf4

Parents:

76bcaaf

Message:

salvage duplicate configuration option

File:

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

tools/config.py

@@ -257 +257 @@
                         create_output(OUTPUT, defaults, ask_names)
                         return 0
+        
+        # Check mode: only check defaults
+        if ((len(sys.argv) >= 3) and (sys.argv[2] == 'check')):
+                if (check_choices(defaults, ask_names)):
+                        return 0
+                return 1
         
         screen = xtui.screen_init()