comparison servlet/src/digilib/image/ImageLoaderImageInfoDocuInfo.java @ 181:afe7ff98bb71

Servlet version 1.18b1 - new transfer mode "rawfile" with mime-type application/octet-stream - finally proper logging with Log4J! - therefore a lot of debugging-prints changed - the Util class is now useless - ServletOps and FileOps are now purely static
author robcast
date Fri, 21 Nov 2003 00:17:31 +0100
parents d40922628e4a
children 6221d688eab6
comparison
equal deleted inserted replaced
180:bd87f802bea1 181:afe7ff98bb71
27 27
28 import javax.imageio.ImageIO; 28 import javax.imageio.ImageIO;
29 import javax.imageio.ImageReader; 29 import javax.imageio.ImageReader;
30 import javax.imageio.stream.ImageInputStream; 30 import javax.imageio.stream.ImageInputStream;
31 31
32 import org.apache.log4j.Logger;
32 import org.marcoschmidt.image.ImageInfo; 33 import org.marcoschmidt.image.ImageInfo;
33 34
34 import digilib.io.FileOpException; 35 import digilib.io.FileOpException;
35 import digilib.io.FileOps; 36 import digilib.io.FileOps;
36 import digilib.io.ImageFile; 37 import digilib.io.ImageFile;
39 /** 40 /**
40 * @author casties 41 * @author casties
41 * 42 *
42 */ 43 */
43 public class ImageLoaderImageInfoDocuInfo implements DocuInfo { 44 public class ImageLoaderImageInfoDocuInfo implements DocuInfo {
45
46 private Logger logger = Logger.getLogger(this.getClass());
44 47
45 /* check image size and type and store in ImageFile f */ 48 /* check image size and type and store in ImageFile f */
46 public boolean checkFile(ImageFile imgf) throws IOException { 49 public boolean checkFile(ImageFile imgf) throws IOException {
47 ImageFileset imgfs = imgf.getParent(); 50 ImageFileset imgfs = imgf.getParent();
48 File f = imgf.getFile(); 51 File f = imgf.getFile();
74 if (! readers.hasNext()) { 77 if (! readers.hasNext()) {
75 throw new FileOpException("ERROR: unknown image file format!"); 78 throw new FileOpException("ERROR: unknown image file format!");
76 } 79 }
77 ImageReader reader = (ImageReader) readers.next(); 80 ImageReader reader = (ImageReader) readers.next();
78 /* are there more readers? */ 81 /* are there more readers? */
79 System.out.println("this reader: " + reader.getClass()); 82 logger.debug("this reader: " + reader.getClass());
80 while (readers.hasNext()) { 83 while (readers.hasNext()) {
81 System.out.println("next reader: " + readers.next().getClass()); 84 logger.debug("next reader: " + readers.next().getClass());
82 } 85 }
83 reader.setInput(istream); 86 reader.setInput(istream);
84 ImageSize d = 87 ImageSize d =
85 new ImageSize(reader.getWidth(0), reader.getHeight(0)); 88 new ImageSize(reader.getWidth(0), reader.getHeight(0));
86 imgf.setSize(d); 89 imgf.setSize(d);