2017-09-12: FG; Make sure fixIndex.sh parameter is NOT terminated with / character.

fixIndex.sh

@@ -8,9 +8,9 @@ dirName=`dirname $0`
 
 theString=$1
 theStringLastChar=${theString:${#theString}-1:1}
-# Make sure theString ends with '/'
-if [ "$theStringLastChar" != "/" ]; then
-    theString="${theString}/"
+# Make sure theString does not end with '/'
+if [ "$theStringLastChar" == "/" ]; then
+    theString="${theString:0:${#theString}-1}"
 fi
 echo "Substitute DASHBOARD_BASEURL with $theString in file ${dirName}/index.html"