From 294eb58966fdac5efc2148dae9be72a4c12acdcd Mon Sep 17 00:00:00 2001
From: Stefan Midjich <swehack@gmail.com>
Date: Wed, 27 Apr 2016 17:05:23 +0200
Subject: [PATCH] dynamically specify name of index page.

---
 portal.cfg | 2 ++
 portal.py  | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/portal.cfg b/portal.cfg
index 3af8a83..e88bb26 100644
--- 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
diff --git a/portal.py b/portal.py
index 9fbbd58..8c722d7 100644
--- 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')
     )