diff options
Diffstat (limited to 'js/prolog.js')
-rw-r--r-- | js/prolog.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/js/prolog.js b/js/prolog.js index 90b1b69..7ea8ce3 100644 --- a/js/prolog.js +++ b/js/prolog.js @@ -84,7 +84,7 @@ return {}; }; - var makeActivityHandler = function (editor) { + var makeActivityHandler = function (editor, problem_id) { var lastActivityMillis = Date.now(), deltaActivityMillis = function deltaActivityMillisFunc () { var now = Date.now(), @@ -98,7 +98,7 @@ var promise; ts = null; if (queue.length === 0) return Q(true); - promise = codeq.comms.sendActivity(queue, editor.getDoc().getValue()); + promise = codeq.comms.sendActivity(queue, editor.getDoc().getValue(), problem_id); queue.length = 0; return promise; }, @@ -147,7 +147,7 @@ jqConsole = $('#console'), jqHints = $('#info'), editor = CodeMirror(jqEditor[0], { cursorHeight: 0.85, lineNumbers: true, matchBrackets: true }), - activityHandler = makeActivityHandler(editor), + activityHandler = makeActivityHandler(editor, problem.id), /* controller = jqConsole.console({ promptLabel: '?- ', commandValidate: function (line) { |