--- a/servlet/src/digilib/image/ImageLoaderImageInfoDocuInfo.java	Wed Sep 03 00:58:37 2003 +0200
+++ b/servlet/src/digilib/image/ImageLoaderImageInfoDocuInfo.java	Wed Sep 03 21:06:25 2003 +0200
@@ -31,6 +31,7 @@
 import javax.imageio.stream.ImageInputStream;
 
 import digilib.io.DocuFile;
+import digilib.io.FileOpException;
 import digilib.io.FileOps;
 
 /**
@@ -60,6 +61,9 @@
 			Iterator readers = ImageIO.getImageReaders(istream);
 			//String ext = f.getName().substring(f.getName().lastIndexOf('.')+1);
 			//Iterator readers = ImageIO.getImageReadersBySuffix(ext);
+			if (! readers.hasNext()) {
+				throw new FileOpException("ERROR: unknown image file format!");
+			}
 			ImageReader reader = (ImageReader) readers.next();
 			/* are there more readers? */
 			System.out.println("this reader: " + reader.getClass());