From 12b8f780d9f05bbff23b234455eb241041fc2c3e Mon Sep 17 00:00:00 2001 From: Liang Ding Date: Fri, 22 Aug 2014 14:06:47 +0800 Subject: [PATCH] . --- static/js/editor.js | 2 +- static/js/wide.js | 2 +- templates/index.html | 3 ++- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/static/js/editor.js b/static/js/editor.js index 2063df3..457c9c6 100644 --- a/static/js/editor.js +++ b/static/js/editor.js @@ -48,7 +48,7 @@ var editors = { CodeMirror.commands.autocompleteAfterDot = function(cm) { var cur = cm.getCursor(); - console.log(cm.getRange(CodeMirror.Pos(cur.line, cur.ch - 1), cur)); + // console.log(cm.getRange(CodeMirror.Pos(cur.line, cur.ch - 1), cur)); // var token = cm.getTokenAt(cm.getCursor()); diff --git a/static/js/wide.js b/static/js/wide.js index 1c2df7a..47efa52 100644 --- a/static/js/wide.js +++ b/static/js/wide.js @@ -1,4 +1,4 @@ -var outputWS = new WebSocket(config.channel.editor + '/output/ws'); +var outputWS = new WebSocket(config.channel.output + '/output/ws'); outputWS.onopen = function() { console.log('[output onopen] connected'); }; diff --git a/templates/index.html b/templates/index.html index bace3d9..d8094c4 100644 --- a/templates/index.html +++ b/templates/index.html @@ -59,7 +59,8 @@ var config = { channel: { editor: '{{.Wide.EditorChannel}}', - shell: '{{.Wide.ShellChannel}}' + shell: '{{.Wide.ShellChannel}}', + output: '{{.Wide.OutputChannel}}' } };