Changeset 38230 for trunk/base/src

Timestamp:

07/13/08 03:06:54 (5 months ago)

Author:

raimue@…

Message:

port/port.tcl:
Exit gracefully if an invalid global option was given

Files:

• trunk/base/src/port/port.tcl (modified) (1 diff)

trunk/base/src/port/port.tcl

@@ -3170 +3170 @@
 
 # Parse global options that will affect all subsequent commands
-parse_options "global" ui_options global_options
+if {[catch {parse_options "global" ui_options global_options} result]} {
+    puts "Error: $result"
+    print_usage
+    exit 1
+}
 
 # Get arguments remaining after option processing