Merge pull request #55 from vadi2/dont-choke-on-irrelevant-files

Don't crash on bad files present in IG, ignore & warn instead
This commit is contained in:
Grahame Grieve 2019-07-03 23:38:42 +10:00 committed by GitHub
commit d7f071b30e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -736,7 +736,7 @@ public class ValidationEngine {
throw new Exception("Unsupported version "+version);
} catch (Exception e) {
throw new Exception("Error parsing "+fn+": "+e.getMessage(), e);
System.out.println(" - ignored due to error: "+e.getMessage());
}
if (r != null) {
context.cacheResource(r);