Ich glaube, es hat sich erledigt. setTimeout scheint mein Freund zu sein:
function reload_images() {
var all_images= document.getElementsByTagName('IMG');
var old_src= new Array();
for (i=all_images.length; i--;) {
with (all_images[i]) {
old_src[i]= src;
src= 'mt.gif';
}
}
window.setTimeout( function () {
for (i=all_images.length; i--;) {
with (all_images[i]) {
src= old_src[i];
}
}
}, 500);
}