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');