annotate servlet/src/digilib/image/JAIImageLoaderDocuImage.java @ 570:fd2ef7e46119

more cleanup, set version to 1.8.2
author robcast
date Tue, 21 Dec 2010 20:24:09 +0100
parents 919e008ab1fb
children aee436f0549d
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
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
23 import java.awt.Image;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
24 import java.awt.Rectangle;
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
25 import java.awt.image.renderable.ParameterBlock;
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
26 import java.io.File;
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
27 import java.io.IOException;
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
28 import java.io.OutputStream;
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
29 import java.io.RandomAccessFile;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
30 import java.util.Iterator;
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
31
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
32 import javax.imageio.ImageIO;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
33 import javax.imageio.ImageReadParam;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
34 import javax.imageio.ImageReader;
220
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 209
diff changeset
35 import javax.imageio.stream.FileImageInputStream;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
36 import javax.imageio.stream.ImageInputStream;
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
37 import javax.media.jai.JAI;
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
38 import javax.servlet.ServletException;
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
39
220
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 209
diff changeset
40 import digilib.io.FileOpException;
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
41 import digilib.io.ImageFile;
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
42
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
43 /** DocuImage implementation using the Java Advanced Imaging API and the ImageLoader
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
44 * API of Java 1.4.
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
45 */
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
46 public class JAIImageLoaderDocuImage extends JAIDocuImage {
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
47
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
48 /** ImageIO image reader */
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
49 protected ImageReader reader;
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
50 /** current image file */
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
51 protected File imgFile;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
52
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
53 /* loadSubimage is supported. */
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
54 public boolean isSubimageSupported() {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
55 return true;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
56 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
57
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
58 /* returns the size of the current image */
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
59 public ImageSize getSize() {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
60 ImageSize is = null;
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
61 // TODO: can we cache imageSize?
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
62 int h = 0;
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
63 int w = 0;
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
64 try {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
65 if (img == null) {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
66 // get size from ImageReader
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
67 h = reader.getHeight(0);
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
68 w = reader.getWidth(0);
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
69 } else {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
70 // get size from image
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
71 h = img.getHeight();
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
72 w = img.getWidth();
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
73 }
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
74 is = new ImageSize(w, h);
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
75 } catch (IOException e) {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
76 logger.debug("error in getSize:", e);
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
77 }
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
78 return is;
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
79 }
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
80
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
81
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
82 /* Load an image file into the Object. */
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
83 public void loadImage(ImageFile f) throws FileOpException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
84 logger.debug("loadImage: "+f.getFile());
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
85 //System.gc();
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
86 img = JAI.create("ImageRead", f.getFile().getAbsolutePath());
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
87 if (img == null) {
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
88 throw new FileOpException("Unable to load File!");
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
89 }
543
919e008ab1fb more steps towards more standard java.util.concurrent design
robcast
parents: 536
diff changeset
90 mimeType = f.getMimetype();
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 64
diff changeset
91 }
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
92
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
93 /* Get an ImageReader for the image file. */
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
94 public ImageReader getReader(ImageFile f) throws IOException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
95 logger.debug("preloadImage: "+f.getFile());
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
96 //System.gc();
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
97 RandomAccessFile rf = new RandomAccessFile(f.getFile(), "r");
220
c4ee5f0c3a77 servlet version 1.18b12
robcast
parents: 209
diff changeset
98 ImageInputStream istream = new FileImageInputStream(rf);
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
99 //Iterator readers = ImageIO.getImageReaders(istream);
531
9cedd170b581 * PDF generation works now even with subdirectories
robcast
parents:
diff changeset
100 Iterator<ImageReader> readers = ImageIO.getImageReadersByMIMEType(f.getMimetype());
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
101 if (! readers.hasNext()) {
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
102 throw new FileOpException("Unable to load File!");
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
103 }
531
9cedd170b581 * PDF generation works now even with subdirectories
robcast
parents:
diff changeset
104 reader = readers.next();
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
105 logger.debug("JAIImageIO: this reader: " + reader.getClass());
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
106 while (readers.hasNext()) {
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
107 logger.debug(" next reader: " + readers.next().getClass());
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
108 }
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
109 reader.setInput(istream);
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
110 return reader;
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
111 }
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
112
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
113 /* Load an image file into the Object. */
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
114 public void loadSubimage(ImageFile f, Rectangle region, int prescale)
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
115 throws FileOpException {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
116 logger.debug("loadSubimage: "+f.getFile());
294
5b4fbec16a2c Servlet version 1.5.0b -- the beginning of the next generation :-)
robcast
parents: 282
diff changeset
117 //System.gc();
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
118 try {
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
119 if ((reader == null) || (imgFile != f.getFile())) {
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
120 getReader(f);
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
121 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
122 ImageReadParam readParam = reader.getDefaultReadParam();
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
123 readParam.setSourceRegion(region);
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
124 readParam.setSourceSubsampling(prescale, prescale, 0, 0);
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
125 img = reader.read(0, readParam);
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
126 /* JAI imageread seems to ignore the readParam :-(
282
87dca7119596 Servlet version 1.22b1
robcast
parents: 220
diff changeset
127 ImageInputStream istream = (ImageInputStream) reader.getInput();
89
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
128 ParameterBlockJAI pb = new ParameterBlockJAI("imageread");
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
129 pb.setParameter("Input", istream);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
130 pb.setParameter("ReadParam", readParam);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
131 pb.setParameter("Reader", reader);
6d35c945a5d6 New version 1.8b4.
robcast
parents: 85
diff changeset
132 img = JAI.create("imageread", pb);
142
f52a7664a807 Servlet version 1.12b3
robcast
parents: 89
diff changeset
133 */
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
134 } catch (IOException e) {
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 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
137 if (img == null) {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
138 throw new FileOpException("Unable to load File!");
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
139 }
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 148
diff changeset
140 imgFile = f.getFile();
543
919e008ab1fb more steps towards more standard java.util.concurrent design
robcast
parents: 536
diff changeset
141 mimeType = f.getMimetype();
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)
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
147 throws ImageOpException, ServletException {
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
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
160 throw new ImageOpException("Unknown mime type: " + mt);
73
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);
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
164 } catch (RuntimeException e) {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 543
diff changeset
165 throw new ServletException("Error writing image.");
73
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
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
169 @Override
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
170 public Image getAwtImage() {
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
171 // TODO Auto-generated method stub
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
172 return (Image) img;
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
173 }
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
174
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
175 /* (non-Javadoc)
148
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
176 * @see java.lang.Object#finalize()
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
177 */
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
178 protected void finalize() throws Throwable {
209
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
179 dispose();
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
180 super.finalize();
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
181 }
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
182
f8c82fea551a Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 181
diff changeset
183 public void dispose() {
148
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
184 // 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
185 reader.dispose();
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
186 reader = null;
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
187 img = null;
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
188 }
837a633a0407 fixed bugs when using lots of prescaled images
robcast
parents: 142
diff changeset
189
64
5ea1999befd4 New JAI ImageLoader plugin. Currently uses first beta version of the plugin.
robcast
parents:
diff changeset
190 }