|
@@ -321,6 +321,7 @@ public class CommandLineOptions extends Options {
|
|
|
throw new jplag.ExitException("Title is empty!");
|
|
throw new jplag.ExitException("Title is empty!");
|
|
|
}
|
|
}
|
|
|
this.title = args[i+1];
|
|
this.title = args[i+1];
|
|
|
|
|
+ i++;
|
|
|
} else if (!scanOption(arg))
|
|
} else if (!scanOption(arg))
|
|
|
throw new jplag.ExitException("Unknown option: " + arg,
|
|
throw new jplag.ExitException("Unknown option: " + arg,
|
|
|
ExitException.BAD_PARAMETER);
|
|
ExitException.BAD_PARAMETER);
|
|
@@ -402,4 +403,4 @@ public class CommandLineOptions extends Options {
|
|
|
}
|
|
}
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-}
|
|
|
|
|
|
|
+}
|