# HG changeset patch
# User robcast
# Date 1098106288 -7200
# Node ID 1ad0b1dc772ea5531d988f0e7de2d6a01fd0c7c3
# Parent  3b170dfb17b487f0aac1ffcfa6988a58c8a8576f
Servlet version 1.22b2
- fixed bug with filenames sans extensions

diff -r 3b170dfb17b4 -r 1ad0b1dc772e client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed
diff -r 3b170dfb17b4 -r 1ad0b1dc772e servlet/src/digilib/io/DocuDirectory.java
--- a/servlet/src/digilib/io/DocuDirectory.java	Mon Oct 18 15:30:49 2004 +0200
+++ b/servlet/src/digilib/io/DocuDirectory.java	Mon Oct 18 15:31:28 2004 +0200
@@ -413,12 +413,13 @@
 				return -1;
 			}
 		}
+		List fileList = list[fc];
 		// empty directory?
-		if (list[fc] == null) {
+		if (fileList == null) {
 			return -1;
 		}
 		// search for exact match
-		int idx = Collections.binarySearch(list[fc], fn);
+		int idx = Collections.binarySearch(fileList, fn);
 		if (idx >= 0) {
 			return idx;
 		} else {
@@ -426,18 +427,18 @@
 			idx = -idx - 1;
 			String fb = FileOps.basename(fn);
 			DocuDirent fs;
-			if ((idx < list.length)
-					&& (FileOps.basename(((DocuDirent) list[fc].get(idx))
+			if ((idx < fileList.size())
+					&& (FileOps.basename(((DocuDirent) fileList.get(idx))
 							.getName()).equals(fb))) {
 				// idx matches
 				return idx;
 			} else if ((idx > 0)
-					&& (FileOps.basename(((DocuDirent) list[fc].get(idx - 1))
+					&& (FileOps.basename(((DocuDirent) fileList.get(idx - 1))
 							.getName()).equals(fb))) {
 				// idx-1 matches
 				return idx - 1;
-			} else if ((idx + 1 < list.length)
-					&& (FileOps.basename(((DocuDirent) list[fc].get(idx - 1))
+			} else if ((idx + 1 < fileList.size())
+					&& (FileOps.basename(((DocuDirent) fileList.get(idx - 1))
 							.getName()).equals(fb))) {
 				// idx+1 matches
 				return idx + 1;
diff -r 3b170dfb17b4 -r 1ad0b1dc772e servlet/src/digilib/servlet/Scaler.java
--- a/servlet/src/digilib/servlet/Scaler.java	Mon Oct 18 15:30:49 2004 +0200
+++ b/servlet/src/digilib/servlet/Scaler.java	Mon Oct 18 15:31:28 2004 +0200
@@ -60,7 +60,7 @@
 	private static final long serialVersionUID = -325080527268912852L;
 
 	// digilib servlet version (for all components)
-	public static final String dlVersion = "1.22b1";
+	public static final String dlVersion = "1.22b2";
 
 	// logger for accounting requests
 	Logger accountlog = Logger.getLogger("account.request");