# HG changeset patch
# User robcast
# Date 1097522910 -7200
# Node ID 81962224b18b9875a4fdd646cfe982ef099f9253
# Parent  eddf0bbe9adb559891f1f18bc25a0b0540673119
changed System.out for logger.debug

diff -r eddf0bbe9adb -r 81962224b18b 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);
 	}