Mozilla: dom.max_script_run_time ändern

[wahsaga]

hi,

Gibt es daher eine Möglichkeit, diesen Parameter zur Laufzeit des Scriptes zu verändern, evtl. auch nur für eine Sitzung und begleitet von Warnungen?

Dieser Parameter ist relevant für die Performance des Mozillas, und damit u.U. sogar für die des Gesamtsystems.
Glaubst du wirklich, du als Scriptersteller solltest diesen ändern können?

gruß,
wahsaga