# 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;