# HG changeset patch # User robcast # Date 1054064464 -7200 # Node ID 55bc0e928ac5fd40109ffcb10a74a7ceefcc8a2f # Parent c43700f2a9663a75779ca3ebcc5d5a23431e1757 Servlet Version 1.9b4 Fixed bug with single file access on windows. diff -r c43700f2a966 -r 55bc0e928ac5 servlet/src/digilib/io/DocuDirCache.java --- a/servlet/src/digilib/io/DocuDirCache.java Fri May 16 11:01:42 2003 +0200 +++ b/servlet/src/digilib/io/DocuDirCache.java Tue May 27 21:41:04 2003 +0200 @@ -100,8 +100,8 @@ } else { // maybe it's a file if (f.canRead()) { - // get the parent directory - String d = fn.substring(0, fn.lastIndexOf(File.separator)); + // get the parent directory string (like we store it in the cache) + String d = fn.substring(0, fn.lastIndexOf("/")); // try it in the cache dd = (DocuDirectory) map.get(d); if (dd == null) { diff -r c43700f2a966 -r 55bc0e928ac5 servlet/src/digilib/servlet/DigilibConfiguration.java --- a/servlet/src/digilib/servlet/DigilibConfiguration.java Fri May 16 11:01:42 2003 +0200 +++ b/servlet/src/digilib/servlet/DigilibConfiguration.java Tue May 27 21:41:04 2003 +0200 @@ -175,7 +175,7 @@ public String[] splitPathArray(String paths) { // split list into directories StringTokenizer dirs = - new StringTokenizer(paths, java.io.File.pathSeparator); + new StringTokenizer(paths, File.pathSeparator); int n = dirs.countTokens(); if (n < 1) { return null; diff -r c43700f2a966 -r 55bc0e928ac5 servlet/src/digilib/servlet/Scaler.java --- a/servlet/src/digilib/servlet/Scaler.java Fri May 16 11:01:42 2003 +0200 +++ b/servlet/src/digilib/servlet/Scaler.java Tue May 27 21:41:04 2003 +0200 @@ -56,7 +56,7 @@ public class Scaler extends HttpServlet { // digilib servlet version (for all components) - public static final String dlVersion = "1.9b2"; + public static final String dlVersion = "1.9b3"; // Utils instance with debuglevel Utils util;