|
@@ -21,6 +21,7 @@
|
|
<div class="row">
|
|
<div class="row">
|
|
<div class="col-xs-6 col-md-6">
|
|
<div class="col-xs-6 col-md-6">
|
|
<div id="editor"></div>
|
|
<div id="editor"></div>
|
|
|
|
+ <div id="results"></div>
|
|
</div>
|
|
</div>
|
|
<div class="col-xs-6 col-md-6">
|
|
<div class="col-xs-6 col-md-6">
|
|
<p> snippets </p>
|
|
<p> snippets </p>
|
|
@@ -61,6 +62,7 @@ ws.onopen = function(event) {
|
|
console.log("close ws connection");
|
|
console.log("close ws connection");
|
|
};
|
|
};
|
|
ws.onmessage = function(event) {
|
|
ws.onmessage = function(event) {
|
|
|
|
+ $("#results").append(event.data)
|
|
console.log("Got data :");
|
|
console.log("Got data :");
|
|
console.log(event.data);
|
|
console.log(event.data);
|
|
};
|
|
};
|
|
@@ -68,6 +70,7 @@ ws.onopen = function(event) {
|
|
$("#run").click(function(){
|
|
$("#run").click(function(){
|
|
ws.send(editor.session.getValue())
|
|
ws.send(editor.session.getValue())
|
|
ws.send('go')
|
|
ws.send('go')
|
|
|
|
+$("#results").html("")
|
|
})
|
|
})
|
|
</script>
|
|
</script>
|
|
</body>
|
|
</body>
|