Sebastian Serth 15878f500c Switch order of unloading the autosave timer ...

Hypothesis: When unloadAutoSave was called, we first saved (causing this.autosaveTimer to become null) and then tried to clearTimeout on this variable (= on null). This probably never worked?

Hopefully closes CODEOCEAN-B5

2022-11-16 23:26:25 +01:00

..

ajax.js

Always show CSRF error message for Ajax

2021-11-23 01:37:50 +01:00

editor.js.erb

Remove outdated error for used_defined_tests

2022-11-16 22:41:07 +01:00

evaluation.js

Handle undefined this.websocket when stopping code

2022-09-22 19:24:26 +02:00

execution.js

Editor: Allow file retrieval after code run

2022-10-29 18:49:18 +02:00

participantsupport.js.erb

Update Bootstrap from v4 to v5

2022-08-12 11:45:32 +02:00

prompt.js

Update Bootstrap to v4.1, fix chosen.js and pagedown on multiple sites

2018-11-06 16:49:41 +01:00

submissions.js

Switch order of unloading the autosave timer

2022-11-16 23:26:25 +01:00

turtle.js

Update Bootstrap from v4 to v5

2022-08-12 11:45:32 +02:00

websocket.js

Check for connection state before sending flush character

2020-11-11 18:16:07 +01:00