Fix for js.time_limit stuck at 0

When setting js.time_limit in mirc-client.js the value sticks throughout the session, which means any other scripts run will also have js.time_limit = 0. This modification stores the value of js.time_limit upon invocation and then resets it when the main loop terminates. While this should be sufficient in most cases, it obviously won't catch something due to an error. These should be rare if not non-existent now.

assigned to @rswindell

The correct way to save and restore values (even up on abend/crash of the script) is via js.on_exit().

For example:

js.on_exit("js.time_limit = " + js.time_limit);
js.time_limit = 0;

changed this line in version 2 of the diff

added 1 commit

• a4d27ca6 - Changed storage of js.time_limit per Rob's suggestion

Compare with previous version

Changed per your suggestion. Thanks.

enabled an automatic merge when the pipeline for a4d27ca6 succeeds

merged

mentioned in commit 7a750b50

mentioned in commit 251f6119