Alexander Kastius 493bf98850 Removed unused functions.

2016-09-09 17:17:54 +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

Sending command 'client_kill' on stop button click now.

2016-09-09 16:41:20 +02:00

evaluation.js.erb

Sending command 'client_kill' on stop button click now.

2016-09-09 16:41:20 +02:00

execution.js.erb

Sending command 'client_kill' on stop button click now.

2016-09-09 16:41:20 +02:00

flowr.js.erb

some cleanup,

2016-09-01 16:48:55 +02:00

prompt.js

Sending command 'client_kill' on stop button click now.

2016-09-09 16:41:20 +02:00

submissions.js.erb

some more code cleanup and UI optimizations

2016-09-09 16:10:43 +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