Changeset 5053

Timestamp:

2003-07-28T12:38:54+12:00 (21 years ago)

Author:

mdewsnip

Message:

Fixed a small bug where command-line options with no values that are specified last were ignored.

File:

• trunk/gli/src/org/greenstone/gatherer/Gatherer.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/Gatherer.java

@@ -448 +448 @@
     int argument_index = 0;
     String next_token = null;
-    while(argument_index < args.length) {
+    while(argument_index < args.length || next_token != null) {
         // 1. We start by attempting to parse an argument name. An argument must start with a '-', and should not contain spaces. If anything else is encountered it is ignored.
         String argument_name = null;