String openFile0 = av.getValue();
String openFile = HttpUtils.equivalentJalviewUrl(openFile0);
if (openFile == null)
- openFile = openFile0;
- if (openFile == null)
continue;
theseArgsWereParsed = true;
continue;
}
filenames.add(pos + 1, a.argString());
- filenames.add(pos + 2, associatedFile);
+ filenames.add(pos + 2,
+ HttpUtils.equivalentJalviewUrl(associatedFile));
}
}
// add an --open arg to separate from other files
{
if (!isJalviewSchemeUri(jalviewUriString))
{
- return null;
+ // not a jalviewUriString, hand it back
+ return jalviewUriString;
}
URI jalviewUri;
try