annotate servlet/src/digilib/image/JAIImageLoaderDocuImage.java @ 281:60a064f27d25

Servlet version 1.22b1 - more fast searching (hopefully all working now) - some simple synchronisation - some reshuffling of methods to eliminate cruft
author robcast
date Fri, 15 Oct 2004 16:59:47 +0200
parents c4ee5f0c3a77
children 87dca7119596
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. */
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
95 public void preloadImage(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);
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 209
diff changeset
100 Iterator readers = ImageIO.getImageReaders(istream);
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 209
diff changeset
101 //Iterator readers = ImageIO.getImageReadersByMIMEType(f.getMimetype());
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
102 reader = (ImageReader) readers.next();
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
103 if (reader == null) {
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
104 throw new FileOpException("Unable to load File!");
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
105 }
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
106 logger.debug("JAIImageIO: this reader: " + reader.getClass());
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
107 reader.setInput(istream);
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
108 }
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
109
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
110 /* Load an image file into the Object. */
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
111 public void loadSubimage(ImageFile f, Rectangle region, int prescale)
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
112 throws FileOpException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
113 logger.debug("loadSubimage: "+f.getFile());
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
114 //System.gc();
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
115 try {
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
116 if ((reader == null) || (imgFile != f.getFile())) {
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
117 preloadImage(f);
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
118 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
119 ImageInputStream istream = (ImageInputStream) reader.getInput();
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
120 ImageReadParam readParam = reader.getDefaultReadParam();
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
121 readParam.setSourceRegion(region);
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
122 readParam.setSourceSubsampling(prescale, prescale, 0, 0);
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
123 img = reader.read(0, readParam);
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
124 /* JAI imageread seems to ignore the readParam :-(
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
125 ParameterBlockJAI pb = new ParameterBlockJAI("imageread");
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
126 pb.setParameter("Input", istream);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
127 pb.setParameter("ReadParam", readParam);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
128 pb.setParameter("Reader", reader);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
129 img = JAI.create("imageread", pb);
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
130 */
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
131 } catch (IOException e) {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
132 throw new FileOpException("Unable to load File!");
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
133 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
134 if (img == null) {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
135 throw new FileOpException("Unable to load File!");
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
136 }
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
137 imgFile = f.getFile();
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
138 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
139
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
140
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
141 /* Write the current image to an OutputStream. */
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
142 public void writeImage(String mt, OutputStream ostream)
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
143 throws FileOpException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
144 logger.debug("writeImage");
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
145 try {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
146 // setup output
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
147 ParameterBlock pb3 = new ParameterBlock();
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
148 pb3.addSource(img);
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
149 pb3.add(ostream);
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
150 if (mt == "image/jpeg") {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
151 pb3.add("JPEG");
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
152 } else if (mt == "image/png") {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
153 pb3.add("PNG");
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
154 } else {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
155 // unknown mime type
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
156 throw new FileOpException("Unknown mime type: " + mt);
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
157 }
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
158 // render output
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
159 JAI.create("ImageWrite", pb3);
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
160 } catch (IOException e) {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
161 throw new FileOpException("Error writing image.");
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
162 }
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
163 }
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
164
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
165 /* (non-Javadoc)
148
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
166 * @see java.lang.Object#finalize()
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
167 */
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
168 protected void finalize() throws Throwable {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
169 dispose();
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
170 super.finalize();
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
171 }
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
172
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
173 public void dispose() {
148
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
174 // 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
175 reader.dispose();
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
176 reader = null;
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
177 img = null;
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
178 }
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
179
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
180 }