Use Toolkit.createImage instead of Toolkit.getImage

to avoid that images are shared and that file-not-found
information is cached over calls.
This commit is contained in:
hns 2001-05-03 13:28:54 +00:00
parent b3c933c74d
commit 2caa611434

View file

@ -97,7 +97,7 @@ public class ImageGenerator extends Window {
MediaTracker tracker = new MediaTracker (this); MediaTracker tracker = new MediaTracker (this);
try { try {
URL url = new URL (urlstring); URL url = new URL (urlstring);
Image img1 = Toolkit.getDefaultToolkit ().getImage (url); Image img1 = Toolkit.getDefaultToolkit ().createImage (url);
tracker.addImage (img1, 0); tracker.addImage (img1, 0);
tracker.waitForAll (); tracker.waitForAll ();
int w = img1.getWidth (null); int w = img1.getWidth (null);
@ -122,7 +122,7 @@ public class ImageGenerator extends Window {
Image img = null; Image img = null;
MediaTracker tracker = new MediaTracker (this); MediaTracker tracker = new MediaTracker (this);
try { try {
img = Toolkit.getDefaultToolkit ().getImage (filename); img = Toolkit.getDefaultToolkit ().createImage (filename);
tracker.addImage (img, 0); tracker.addImage (img, 0);
tracker.waitForAll (); tracker.waitForAll ();
} catch (Exception x) { } catch (Exception x) {