# HG changeset patch
# User robcast
# Date 1097522257 -7200
# Node ID fd77250e0268c427eecfe30eaa15f1652a1c3b12
# Parent  ab79c9dfcdbb78bb18636a6f9fa95222a78ae381
nicer ImageSize.toString()

diff -r ab79c9dfcdbb -r fd77250e0268 servlet/src/digilib/image/ImageLoaderImageInfoDocuInfo.java
--- a/servlet/src/digilib/image/ImageLoaderImageInfoDocuInfo.java	Mon Oct 11 21:16:44 2004 +0200
+++ b/servlet/src/digilib/image/ImageLoaderImageInfoDocuInfo.java	Mon Oct 11 21:17:37 2004 +0200
@@ -94,8 +94,7 @@
 			reader.dispose();
 			raf.close();
 		}
-		logger.debug("image size: " + imgf.getSize().getWidth() + "x"
-				+ imgf.getSize().getHeight());
+		logger.debug("image size: " + imgf.getSize());
 		return true;
 	}
 }
\ No newline at end of file