diff options
Diffstat (limited to 'web')
-rw-r--r-- | web/main.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/web/main.js b/web/main.js index fb393c8..9f06e88 100644 --- a/web/main.js +++ b/web/main.js @@ -160,6 +160,11 @@ var guiHandlers = { 'get_problem': function actionTest(session, message) { logger.debug('Received get_problem from GUI'); sendDataToPython(message).then(session.send, session.end).done(); + }, + + 'settings': function actionSettings(session, message) { + logger.debug('Received settings from GUI'); + sendDataToPython(message).then(session.send, session.end).done(); } }; |