- if (source.toString().endsWith(File.separator + "index.html")) {
- try {
- File fakeFile = new File(source.toURI()); // "story/index.html"
- fakeFile = new File(fakeFile.getParent()); // "story"
- fakeFile = new File(fakeFile, fakeFile.getName()); // "story/story"
- return fakeFile.toURI().toURL();
- } catch (Exception e) {
- Instance.getTraceHandler().error(
- new IOException("Cannot find the right URL for "
- + source, e));
+
+ try {
+ File fakeFile = new File(source.toURI());
+ if (fakeFile.getName().equals("index.html")) { // "story/index.html"
+ fakeFile = new File(fakeFile.getParent()); // -> "story/"