# HG changeset patch
# User robcast
# Date 1123667885 -7200
# Node ID 86e50ca164f1d36a7e6b928720ccc3b3f2c0095b
# Parent  bafd7b503d1401dcfc65c0d9e5b0bfeb9d94bf4d
Servlet version 1.5.8b
- fixed bug in alias mapping code when alias ended in "/"

diff -r bafd7b503d14 -r 86e50ca164f1 servlet/src/digilib/io/AliasingDocuDirCache.java
--- a/servlet/src/digilib/io/AliasingDocuDirCache.java	Fri Apr 22 19:17:44 2005 +0200
+++ b/servlet/src/digilib/io/AliasingDocuDirCache.java	Wed Aug 10 11:58:05 2005 +0200
@@ -64,13 +64,17 @@
 		 */
 
 		for (Iterator i = pathMap.keySet().iterator(); i.hasNext();) {
-			String link = FileOps.normalName((String) i.next());
+			String link = (String) i.next();
 			String dir = (String) pathMap.get(link);
+			if (dir == null) {
+				logger.error("Key mismatch in mapping file!");
+				break;	
+			}
 			DocuDirectory destDir = new DocuDirectory(dir, this);
 			if (destDir.isValid()) {
 				logger.debug("Aliasing dir: " + link);
 				// add the alias name
-				putName(link, destDir);
+				putName(FileOps.normalName(link), destDir);
 				// add the real dir
 				putDir(destDir);
 			}