# HG changeset patch
# User robcast
# Date 1123667885 -7200
# Node ID 61c6e4a8d6fc0bc9fc444189baf837d598242d8f
# Parent  7ae370377bce5e868058be6b335937d65d36821e
Servlet version 1.5.8b
- fixed bug in alias mapping code when alias ended in "/"

diff -r 7ae370377bce -r 61c6e4a8d6fc 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);
 			}