From 771389bbdfe2a6f639327d956baab96034ce06bb Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Fri, 7 Apr 2023 13:48:26 +0200
Subject: [PATCH] Create new config on change

---
 web/config.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/config.py b/web/config.py
index 6620839..c7c352e 100644
--- a/web/config.py
+++ b/web/config.py
@@ -18,6 +18,7 @@ def index():
             if flask.request.method == 'POST':
                 form = flask.request.form
                 db.write('settings', dict(zip(form.getlist('setting'), form.getlist('value'))))
+                system.run(system.save_config)
             settings = db.read('settings')
         return flask.render_template('config/index.html', **locals())
     except Exception as e: