diff options
| author | Jiri Vanek <[email protected]> | 2013-06-21 12:15:03 +0200 |
|---|---|---|
| committer | Jiri Vanek <[email protected]> | 2013-06-21 12:15:03 +0200 |
| commit | da8ec0b9cba22448fbb5b599bff3e1f5fb8c0bf7 (patch) | |
| tree | e3cd2c82fd0eff3b9d9c95b4f67fac27d7d519bc /netx/net/sourceforge/jnlp/Launcher.java | |
| parent | 70371886c351800a6fad9bad17777179af2d8584 (diff) | |
Added tagsup (optional dependence) as sanitizer for (possibly) invalid xml files
Diffstat (limited to 'netx/net/sourceforge/jnlp/Launcher.java')
| -rw-r--r-- | netx/net/sourceforge/jnlp/Launcher.java | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/netx/net/sourceforge/jnlp/Launcher.java b/netx/net/sourceforge/jnlp/Launcher.java index 11ca09f..efb1915 100644 --- a/netx/net/sourceforge/jnlp/Launcher.java +++ b/netx/net/sourceforge/jnlp/Launcher.java @@ -477,12 +477,12 @@ public class Launcher { try { JNLPFile file = null; - file = new JNLPFile(location, parserSettings.isStrict()); + file = new JNLPFile(location, parserSettings); if (fromSource) { // Launches the jnlp file where this file originated. if (file.getSourceLocation() != null) { - file = new JNLPFile(file.getSourceLocation(), parserSettings.isStrict()); + file = new JNLPFile(file.getSourceLocation(), parserSettings); } } return file; @@ -504,9 +504,11 @@ public class Launcher { JNLPFile file = null; try { - file = new JNLPFile(location, (Version) null, true, updatePolicy); // strict + ParserSettings settings = new ParserSettings(true, true, false); + file = new JNLPFile(location, (Version) null, settings, updatePolicy); // strict } catch (ParseException ex) { - file = new JNLPFile(location, (Version) null, false, updatePolicy); + ParserSettings settings = new ParserSettings(false, true, true); + file = new JNLPFile(location, (Version) null, settings, updatePolicy); // only here if strict failed but lax did not fail LaunchException lex = |