diff options
Diffstat (limited to 'res')
| -rw-r--r-- | res/etc/rhizi-server.conf.example | 5 | ||||
| -rw-r--r-- | res/templates/index.html | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/res/etc/rhizi-server.conf.example b/res/etc/rhizi-server.conf.example index d1281c58..bb535348 100644 --- a/res/etc/rhizi-server.conf.example +++ b/res/etc/rhizi-server.conf.example @@ -49,6 +49,11 @@ access_control = False user_db_path = ./user_db.db # ----------------------------------------------------------------------------- +# Client settings +# +optimized_main = False + +# ----------------------------------------------------------------------------- # Other # DEBUG = True diff --git a/res/templates/index.html b/res/templates/index.html index 72415881..28cbaf51 100644 --- a/res/templates/index.html +++ b/res/templates/index.html @@ -11,6 +11,7 @@ var rz_config = { // set as a global variable 'backend_enabled': true, 'backend__maintain_ws_connection': true, 'feedback_url': '/feedback', + 'optimized_main': {{ rz_config__optimized_main }}, }; </script> <script data-main='/static/app.js' src="/static/lib/require.js"></script> |