From 6aebfe21975bc74ec713e58339ae40715977e81f Mon Sep 17 00:00:00 2001 From: Robert Zorko Date: Tue, 29 Sep 2015 18:16:17 +0200 Subject: added support to save settings, currently only 'lang' will actually be saved, since it is the only one already in the database --- web/main.js | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'web') 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(); } }; -- cgit v1.2.1