annotate servlet/src/digilib/image/JAIImageLoaderDocuImage.java @ 399:d20d75e6f143

simplyfications
author hertzhaft
date Thu, 08 Dec 2005 13:16:43 +0100
parents 5b4fbec16a2c
children e758a49258e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
1 /* JAIImageLoaderDocuImage -- Image class implementation using JAI's ImageLoader Plugin
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
2
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
3 Digital Image Library servlet components
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
4
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
5 Copyright (C) 2002, 2003 Robert Casties (robcast@mail.berlios.de)
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
6
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
7 This program is free software; you can redistribute it and/or modify it
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
10 option) any later version.
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
11
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
14
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
15 You should have received a copy of the GNU General Public License
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
16 along with this program; if not, write to the Free Software
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
18
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
19 */
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
20
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
21 package digilib.image;
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
22
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
23 import java.awt.Rectangle;
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
24 import java.awt.image.renderable.ParameterBlock;
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
25 import java.io.File;
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
26 import java.io.IOException;
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
27 import java.io.OutputStream;
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
28 import java.io.RandomAccessFile;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
29 import java.util.Iterator;
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
30
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
31 import javax.imageio.ImageIO;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
32 import javax.imageio.ImageReadParam;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
33 import javax.imageio.ImageReader;
220
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 209
diff changeset
34 import javax.imageio.stream.FileImageInputStream;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
35 import javax.imageio.stream.ImageInputStream;
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
36 import javax.media.jai.JAI;
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
37
220
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 209
diff changeset
38 import digilib.io.FileOpException;
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
39 import digilib.io.ImageFile;
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
40
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
41 /** DocuImage implementation using the Java Advanced Imaging API and the ImageLoader
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
42 * API of Java 1.4.
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
43 */
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
44 public class JAIImageLoaderDocuImage extends JAIDocuImage {
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
45
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
46 /** ImageIO image reader */
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
47 protected ImageReader reader;
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
48 /** current image file */
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
49 protected File imgFile;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
50
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
51 /* loadSubimage is supported. */
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
52 public boolean isSubimageSupported() {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
53 return true;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
54 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
55
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
56 public int getHeight() {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
57 int h = 0;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
58 try {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
59 if (img == null) {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
60 h = reader.getHeight(0);
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
61 } else {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
62 h = img.getHeight();
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
63 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
64 } catch (IOException e) {
181
afe7ff98bb71 Servlet version 1.18b1
robcast
parents: 159
diff changeset
65 logger.debug("error in getHeight", e);
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
66 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
67 return h;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
68 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
69
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
70 public int getWidth() {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
71 int w = 0;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
72 try {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
73 if (img == null) {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
74 w = reader.getWidth(0);
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
75 } else {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
76 w = img.getWidth();
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
77 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
78 } catch (IOException e) {
181
afe7ff98bb71 Servlet version 1.18b1
robcast
parents: 159
diff changeset
79 logger.debug("error in getHeight", e);
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
80 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
81 return w;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
82 }
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
83
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
84 /* Load an image file into the Object. */
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
85 public void loadImage(ImageFile f) throws FileOpException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
86 logger.debug("loadImage: "+f.getFile());
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
87 //System.gc();
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
88 img = JAI.create("ImageRead", f.getFile().getAbsolutePath());
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
89 if (img == null) {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
90 throw new FileOpException("Unable to load File!");
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
91 }
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
92 }
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
93
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
94 /* Get an ImageReader for the image file. */
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
95 public ImageReader getReader(ImageFile f) throws IOException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
96 logger.debug("preloadImage: "+f.getFile());
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
97 //System.gc();
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
98 RandomAccessFile rf = new RandomAccessFile(f.getFile(), "r");
220
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 209
diff changeset
99 ImageInputStream istream = new FileImageInputStream(rf);
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
100 //Iterator readers = ImageIO.getImageReaders(istream);
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
101 Iterator readers = ImageIO.getImageReadersByMIMEType(f.getMimetype());
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
102 if (! readers.hasNext()) {
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
103 throw new FileOpException("Unable to load File!");
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
104 }
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
105 reader = (ImageReader) readers.next();
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
106 logger.debug("JAIImageIO: this reader: " + reader.getClass());
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
107 while (readers.hasNext()) {
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
108 logger.debug(" next reader: " + readers.next().getClass());
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
109 }
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
110 reader.setInput(istream);
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
111 return reader;
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
112 }
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
113
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
114 /* Load an image file into the Object. */
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
115 public void loadSubimage(ImageFile f, Rectangle region, int prescale)
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
116 throws FileOpException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
117 logger.debug("loadSubimage: "+f.getFile());
294
5b4fbec16a2c Servlet version 1.5.0b -- the beginning of the next generation :-)
robcast
parents: 282
diff changeset
118 //System.gc();
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
119 try {
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
120 if ((reader == null) || (imgFile != f.getFile())) {
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
121 getReader(f);
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
122 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
123 ImageReadParam readParam = reader.getDefaultReadParam();
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
124 readParam.setSourceRegion(region);
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
125 readParam.setSourceSubsampling(prescale, prescale, 0, 0);
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
126 img = reader.read(0, readParam);
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
127 /* JAI imageread seems to ignore the readParam :-(
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
128 ImageInputStream istream = (ImageInputStream) reader.getInput();
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
129 ParameterBlockJAI pb = new ParameterBlockJAI("imageread");
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
130 pb.setParameter("Input", istream);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
131 pb.setParameter("ReadParam", readParam);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
132 pb.setParameter("Reader", reader);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
133 img = JAI.create("imageread", pb);
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
134 */
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
135 } catch (IOException e) {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
136 throw new FileOpException("Unable to load File!");
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
137 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
138 if (img == null) {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
139 throw new FileOpException("Unable to load File!");
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
140 }
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
141 imgFile = f.getFile();
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
142 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
143
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
144
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
145 /* Write the current image to an OutputStream. */
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
146 public void writeImage(String mt, OutputStream ostream)
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
147 throws FileOpException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
148 logger.debug("writeImage");
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
149 try {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
150 // setup output
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
151 ParameterBlock pb3 = new ParameterBlock();
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
152 pb3.addSource(img);
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
153 pb3.add(ostream);
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
154 if (mt == "image/jpeg") {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
155 pb3.add("JPEG");
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
156 } else if (mt == "image/png") {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
157 pb3.add("PNG");
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
158 } else {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
159 // unknown mime type
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
160 throw new FileOpException("Unknown mime type: " + mt);
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
161 }
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
162 // render output
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
163 JAI.create("ImageWrite", pb3);
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
164 } catch (IOException e) {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
165 throw new FileOpException("Error writing image.");
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
166 }
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
167 }
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
168
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
169 /* (non-Javadoc)
148
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
170 * @see java.lang.Object#finalize()
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
171 */
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
172 protected void finalize() throws Throwable {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
173 dispose();
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
174 super.finalize();
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
175 }
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
176
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
177 public void dispose() {
148
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
178 // we must dispose the ImageReader because it keeps the filehandle open!
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
179 reader.dispose();
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
180 reader = null;
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
181 img = null;
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
182 }
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
183
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
184 }