changeset 116:55bc0e928ac5

Servlet Version 1.9b4 Fixed bug with single file access on windows.
author robcast
date Tue, 27 May 2003 21:41:04 +0200
parents c43700f2a966
children a934824c894d
files servlet/src/digilib/io/DocuDirCache.java servlet/src/digilib/servlet/DigilibConfiguration.java servlet/src/digilib/servlet/Scaler.java
diffstat 3 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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) {
--- 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;
--- 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;