Ralf Teusner ae04a5adc5 this should fix the "zombie file" bug. Turned out that the CodeOceanEditor object is not destroyed when navigating back and forth within the exercise context ( from an exercise back to the exercise index and forward to another exercise). Therefore, CodeOceanEditor.editors[] kept all "old" editors and added the new ones behind the old ones. On next autosave, they were persisted into a submission.

2017-07-03 14:57:08 +02:00

..

ajax.js.erb

Moved everything into new files. Made editor.js.erb really small.

2016-08-11 23:24:38 +02:00

editor.js.erb

this should fix the "zombie file" bug. Turned out that the CodeOceanEditor object is not destroyed when navigating back and forth within the exercise context ( from an exercise back to the exercise index and forward to another exercise). Therefore, CodeOceanEditor.editors[] kept all "old" editors and added the new ones behind the old ones. On next autosave, they were persisted into a submission.

2017-07-03 14:57:08 +02:00

evaluation.js.erb

refined previous commit

2017-01-21 10:02:34 +01:00

execution.js.erb

fix edge compatibility in docker config file (wss:// --> wss: ). also clean up hash removal of url and add docker.yml to the files to be deployed by capistrano

2017-03-07 18:09:31 +01:00

participantsupport.js.erb

fixed broken test

2017-01-19 14:34:49 +01:00

prompt.js.erb

Moved codepilot into dedicated file.

2016-09-09 17:24:04 +02:00

submissions.js.erb

tidy up the autosave timer when exiting the page

2017-07-03 14:54:51 +02:00

turtle.js.erb

Removed unused functions.

2016-09-09 17:17:54 +02:00

websocket.js.erb

make websocket flush accessible.

2016-09-01 17:31:46 +02:00