okay, danke, das probiere ich, mal sehen, ob sich damit das Problem dauerhaft löst.
Nochmal zum Thema Testcase:
Ein Testcase zur Verfügung zu stellen ist auch garnicht so einfach, denn das eigentliche doppelte Ausführen passiert ja zwischen zwei Javascript-Weiterleitungen, d.h. den eigentlichen Code bekommt man ja garnicht zu sehen. Und das doppelte Ausführen ist ja auch nicht immer augetreten, sondern nur in 10% aller Fälle bei Firefox 3.0.10 und .11.
ciau g.g.