# HG changeset patch
# User robcast
# Date 1097852387 -7200
# Node ID 90b91e401cd2f34680a59eeb7477988bf08596a1
# Parent  74a06c317939e67c648725a46fe80635dcc29f91
Servlet version 1.22b1
- more fast searching (hopefully all working now)
- some simple synchronisation
- some reshuffling of methods to eliminate cruft

diff -r 74a06c317939 -r 90b91e401cd2 servlet/src/digilib/image/DocuImage.java
--- a/servlet/src/digilib/image/DocuImage.java	Fri Oct 15 16:59:47 2004 +0200
+++ b/servlet/src/digilib/image/DocuImage.java	Fri Oct 15 16:59:47 2004 +0200
@@ -35,12 +35,6 @@
  */
 public interface DocuImage {
 
-	/** Returns the list of image file types known to the DocuImage implementation.
-	 * 
-	 * @return List of image file types. Strings are standard file extensions.
-	 */
-	public String[] getKnownFileTypes();
-
 	/** Loads an image file into the Object.
 	 * 
 	 * @param f Image File.
diff -r 74a06c317939 -r 90b91e401cd2 servlet/src/digilib/image/DocuImageImpl.java
--- a/servlet/src/digilib/image/DocuImageImpl.java	Fri Oct 15 16:59:47 2004 +0200
+++ b/servlet/src/digilib/image/DocuImageImpl.java	Fri Oct 15 16:59:47 2004 +0200
@@ -38,7 +38,7 @@
 public abstract class DocuImageImpl implements DocuImage {
 
 	/** logger */
-	protected Logger logger = Logger.getLogger(this.getClass());
+	protected static Logger logger = Logger.getLogger(DocuImage.class);
 	
 	/** Interpolation quality. */
 	protected int quality = 0;
@@ -49,17 +49,6 @@
 	/** image mime-type */
 	protected String mimeType = null;
 
-	/** Internal knownFileTypes. */
-	protected String[] knownFileTypes = { "jpg", "png", "gif", "tiff" };
-
-	/** Returns the list of image file types known to the DocuImage implementation.
-	 * 
-	 * @return List of image file types. Strings are standard file extensions.
-	 */
-	public String[] getKnownFileTypes() {
-		return knownFileTypes;
-	}
-
 	/**
 	 * Returns the quality.
 	 * @return int