# HG changeset patch
# User hertzhaft
# Date 1133898144 -3600
# Node ID ea72f7c922f8358f5daf6548ac4c119815f7de2a
# Parent  cc3f88db6dfd37f16ba41287ac2a99717b9e0231
fixed: missing string cast

diff -r cc3f88db6dfd -r ea72f7c922f8 servlet/src/digilib/io/DocuDirent.java
--- a/servlet/src/digilib/io/DocuDirent.java	Tue Dec 06 20:07:14 2005 +0100
+++ b/servlet/src/digilib/io/DocuDirent.java	Tue Dec 06 20:42:24 2005 +0100
@@ -154,7 +154,7 @@
 	 * @see java.lang.Comparable#compareTo(java.lang.Object)
 	 */
 	public int compareTo(Object arg0) {
-		return (getName().compareTo(arg0));
+		return (getName().compareTo((String) arg0));
 	}
 	
 }