From 48ccd003e3b73c579c8d27c367868c631c22cc5c Mon Sep 17 00:00:00 2001
From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Tue, 13 Sep 2016 09:02:10 +0100
Subject: [PATCH] JAL-2119 use File.separator not "/"

---
 utils/HelpLinksChecker.java |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/utils/HelpLinksChecker.java b/utils/HelpLinksChecker.java
index 9463758..8085446 100644
--- a/utils/HelpLinksChecker.java
+++ b/utils/HelpLinksChecker.java
@@ -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);
 
-- 
1.7.10.2