# HG changeset patch
# User robcast
# Date 1097522257 -7200
# Node ID 85a0abfa1b8c3194192914294ab1013468996e9a
# Parent  7ff9b9b0c16a606d51b08729705ac9ab1595dbb0
nicer ImageSize.toString()

diff -r 7ff9b9b0c16a -r 85a0abfa1b8c 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