diff options
Diffstat (limited to 'js/codeq')
-rw-r--r-- | js/codeq/comms.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/js/codeq/comms.js b/js/codeq/comms.js index 8b89cde..25c1f8c 100644 --- a/js/codeq/comms.js +++ b/js/codeq/comms.js @@ -121,6 +121,16 @@ return send('query', query); }, + sendPush: function commsSendPush (json) { + json['sid'] = codeq.sid; + return send('python_push', json); + }, + + sendPull: function commsSendPull (json) { + json['sid'] = codeq.sid; + return send('python_pull', json); + }, + sendHint: function commsSendHint (json) { json['sid'] = codeq.sid; return send('hint', json); |