Sebastian Serth bdcef4d183 Stop Code before redirecting after submit ...

Usually, this should not be needed, but users can first submit code and simultaneously request comments.

Fixes CODEOCEAN-KM

2023-03-20 14:02:20 +01:00

..

ajax.js

Always show CSRF error message for Ajax

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

editor.js.erb

Refactor tooltip for run button

2023-03-14 19:19:06 +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

Stop Code before redirecting after submit

2023-03-20 14:02:20 +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