Remove outdated run method from turtle.js

app/assets/javascripts/turtle.js

@@ -205,82 +205,3 @@ Turtle.prototype.css = function (key, value) {
         this.canvas.css(key, value);
     }
 };
-
-function run(launchmsg) {
-    var i, turtlescreen, msg, result, cmd;
-    $('#assess').empty();
-
-    turtlescreen = new Turtle();
-
-    output = $('#output');
-    output.empty();
-    if (typeof pipeurl === 'undefined') {
-        if (wp_port === '443') {
-            pipeurl = 'wss://'+wp_hostname+'/pipe';
-        } else {
-            pipeurl = 'ws://'+wp_hostname+':'+wp_port+'/pipe';
-        }
-    }
-    saveFile();
-    output.pipe = new WebSocket(pipeurl);
-    output.pipe.onopen = function () {
-        output.pipe.send(JSON.stringify(launchmsg));
-    };
-    output.pipe.onmessage = function (response) {
-        msg = JSON.parse(response.data);
-        if (msg.cmd === 'input') {
-            output.inputelem = $('<input>',{'size':40});
-            submit = $('<input>',{'type':'submit'});
-            submit.click(function (){
-                text = output.inputelem.val();
-                output.input.replaceWith($('<code>', {text:text+'\n'}));
-                output.pipe.send(JSON.stringify({'cmd':'inputresult',
-                                                 'data':text}));
-            });
-        output.inputelem.keydown(function(event){
-                if(event.keyCode === 13){
-                    submit.click();
-                }
-        });
-            output.append($('<code>', {text:msg.data}));
-            output.input = $('<span>').append(output.inputelem).append(submit);
-            output.append(output.input);
-        output.inputelem.focus();
-        } else if (msg.cmd === 'stop') {
-            if (launchmsg.cmd === 'runscript') {
-                if (msg.timedout) {
-                    output.append('<hr>Dein Programm hat zu lange gerechnet und wurde beendet.');
-                } else {
-                    output.append('<hr>Dein Progamm wurde beendet');
-                }
-            }
-            output.pipe.close();
-        } else if (msg.cmd === 'passed') {
-            $('#assess').html("Herzlich Glückwunsch! Dein Programm funktioniert korrekt.");
-        } else if (msg.cmd === 'failed') {
-            $('#assess').html(msg.data);
-        } else if (msg.cmd === 'turtle') {
-            if (msg.action in turtlescreen) {
-                result = turtlescreen[msg.action].apply(turtlescreen, msg.args);
-                output.pipe.send(JSON.stringify({cmd:'result', 'result':result}));
-            } else {
-                output.pipe.send(JSON.stringify({cmd:'exception', exception:'AttributeError',
-                                                 message:msg.action}));
-            }
-        } else if (msg.cmd === 'turtlebatch') {
-            for (i=0; i < msg.batch.length; i += 1) {
-                cmd = msg.batch[i];
-                turtlescreen[cmd[0]].apply(turtlescreen, cmd[1]);
-            }
-        } else {
-            if(msg.stream === 'internal') {
-                output.append('<hr><em>Interner Fehler (bitte melden):</em>\n');
-            }
-        else if (msg.stream === 'stderr') {
-        showConsole();
-        $('#consoleradio').prop('checked', 'checked');
-        }
-            output.append($('<code>',{text:msg.data, 'class':msg.stream}));
-        }
-    };
-}