fix for $145 -proxy Flag treated as File to validate

This commit is contained in:
Grahame Grieve 2020-03-03 08:37:36 +11:00
parent bab1fe063d
commit ca240e4659
1 changed files with 2 additions and 0 deletions

View File

@ -423,6 +423,8 @@ public class Validator {
throw new Error("Specified -output without indicating output file");
else
output = args[++i];
} else if (args[i].equals("-proxy")) {
i++; // ignore next parameter
} else if (args[i].equals("-profile")) {
String p = null;
if (i+1 == args.length)