added support to save settings, currently only 'lang' will actually be saved, since it is the only one already in the database

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