summaryrefslogtreecommitdiff
path: root/web
diff options
context:
space:
mode:
authorMartin <martin@leo.fri1.uni-lj.si>2015-09-22 13:13:31 +0200
committerMartin <martin@leo.fri1.uni-lj.si>2015-09-22 13:13:31 +0200
commit68acd82d75106cddd3d4b79365672cad7391c3cd (patch)
treecc9448103c9a21bed694abe6f818a9eed8ecccb6 /web
parent63dff6d770ecb98d7f8f9337449b3450d3abb0de (diff)
parent2c61fec2140da5ec9a5aee8a7d6d3f0f2d3b0897 (diff)
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'web')
-rw-r--r--web/main.js10
1 files changed, 10 insertions, 0 deletions
diff --git a/web/main.js b/web/main.js
index 03e9dad..fb393c8 100644
--- a/web/main.js
+++ b/web/main.js
@@ -132,11 +132,21 @@ var guiHandlers = {
sendDataToPython(message).then(session.send, session.end).done();
},
+ 'python_exec': function actionPythonExec(session, message) {
+ logger.debug('Received python_exec from GUI');
+ sendDataToPython(message).then(session.send, session.end).done();
+ },
+
'python_push': function actionPythonPush(session, message) {
logger.debug('Received python_push from GUI');
sendDataToPython(message).then(session.send, session.end).done();
},
+ 'python_stop': function actionPythonStop(session, message) {
+ logger.debug('Received python_stop from GUI');
+ sendDataToPython(message).then(session.send, session.end).done();
+ },
+
'hint': function actionHint(session, message) {
logger.debug('Received hint from GUI');
sendDataToPython(message).then(session.send, session.end).done();