JAL-2119 use File.separator not "/"
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 13 Sep 2016 08:02:10 +0000 (09:02 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 13 Sep 2016 08:02:10 +0000 (09:02 +0100)
utils/HelpLinksChecker.java

index 9463758..8085446 100644 (file)
@@ -322,11 +322,11 @@ public class HelpLinksChecker
      * On Mac or Windows, file.exists() is not case sensitive, so do an
      * additional check with case sensitivity 
      */
-    int slashPos = href.lastIndexOf("/");
+    int slashPos = href.lastIndexOf(File.separator);
     String expectedFileName = slashPos == -1 ? href : href
             .substring(slashPos + 1);
     String cp = hrefFile.getCanonicalPath();
-    slashPos = cp.lastIndexOf("/");
+    slashPos = cp.lastIndexOf(File.separator);
     String actualFileName = slashPos == -1 ? cp : cp
             .substring(slashPos + 1);