Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server

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