diff options
| -rw-r--r-- | server/handlers.py | 2 | ||||
| -rw-r--r-- | web/main.js | 10 |
2 files changed, 12 insertions, 0 deletions
diff --git a/server/handlers.py b/server/handlers.py index e9cf7c8..fb50ff4 100644 --- a/server/handlers.py +++ b/server/handlers.py @@ -197,6 +197,8 @@ incoming_handlers = { 'logout': None, 'activity': Activity(), 'query': Query(), + 'python_push': PythonPush(), + 'python_pull': PythonPull(), 'hint': Hint(), 'test': Test() } diff --git a/web/main.js b/web/main.js index 7f1b2e4..c4c8691 100644 --- a/web/main.js +++ b/web/main.js @@ -132,6 +132,16 @@ var guiHandlers = { 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_pull': function actionPythonPull(session, message) { + logger.debug('Received python_pull 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(); |