From b9f1c57fdd6097e776235c105c58c29f84399523 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Tue, 15 Sep 2015 14:27:27 +0200 Subject: Add handlers for python_{push,pull} requests Will be reimplemented asynchronously. --- web/main.js | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'web') 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(); -- cgit v1.2.1