- if ((val == null && i + 1 < args.size()
- && ArgParser.STDOUTFILENAME.equals(args.get(i + 1)))
- || ArgParser.STDOUTFILENAME.equals(val))
+ if (val == null && i + 1 < args.size())
+ {
+ val = args.get(i + 1);
+ }
+ if (val.startsWith("[") && val.indexOf(']') > 0)
+ {
+ val = val.substring(val.indexOf(']') + 1);
+ }
+
+ if (ArgParser.STDOUTFILENAME.equals(val))