# HG changeset patch
# User robcast
# Date 1097522910 -7200
# Node ID cf9b5c6ef45135d91cb5c3d7576ff1820802750c
# Parent  7f55c81d9029f22ea32655e6764991b150cf6057
changed System.out for logger.debug

diff -r 7f55c81d9029 -r cf9b5c6ef451 servlet/src/digilib/io/Directory.java
--- a/servlet/src/digilib/io/Directory.java	Mon Oct 11 21:23:55 2004 +0200
+++ b/servlet/src/digilib/io/Directory.java	Mon Oct 11 21:28:30 2004 +0200
@@ -82,10 +82,10 @@
 	 */
 	public boolean readDir() {
 		if (dir != null) {
-			System.out.println("start reading dir");
+			logger.debug("start reading dir");
 			list = dir.list();
 			Arrays.sort(list);
-			System.out.println("done reading dir");
+			logger.debug("done reading dir");
 		}
 		return (list != null);
 	}