dynamically specify name of index page.

2016-04-27 17:05:23 +02:00 · 2016-04-27 17:05:23 +02:00 · 294eb58966
parent 52e33e998d
commit 294eb58966
2 changed files with 3 additions and 1 deletions
--- a/portal.cfg
+++ b/portal.cfg
@ -10,6 +10,8 @@ redis_port=6379

 plugin_ttl=120

+index_page=portalindex
+
 [logging]
 log_format = %(asctime)s %(name)s[%(process)s] %(levelname)s: %(message)s
 log_debug = False
--- a/portal.py
+++ b/portal.py
@ -165,7 +165,7 @@ app.router.add_filter('uuid', uuid_filter)
@app.route('/')
 def portalindex():
    return template(
-        'portalindex',
+        config.get('portal', 'index_page'),
        plugin_ttl=config.get('portal', 'plugin_ttl')
    )