diff options
Diffstat (limited to 'js/codeq/robot.js')
-rw-r--r-- | js/codeq/robot.js | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/js/codeq/robot.js b/js/codeq/robot.js index 4222d0b..8512df7 100644 --- a/js/codeq/robot.js +++ b/js/codeq/robot.js @@ -93,9 +93,6 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ activityHandler = codeq.makeActivityHandler(editor, problemDef.id), terminal = makeRobotTerminalHandler(jqTerminal, editor, problemDef.id, activityHandler), hinter = codeq.makeHinter(jqHints, jqEditor, editor, 'robot_hints', problemDef, commonDef, activityHandler), - commError = function (error) { - alert(error); - }, reconnectTimer = null, url = 'ws://' + codeq.settings['robot_address'] + ':8000/', socket = eio(url); @@ -169,10 +166,10 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ hinter.handle(data.hints); } else { - commError('error: ' + data.message); + alert('error: ' + data.message); } }) - .fail(commError) + .fail(alert) .fin(function () { editor.setOption('readOnly', false); $(editor.getWrapperElement()).removeClass('disabled'); |