From aa1d9454b6c491a215c3ff5c193aa8c677625dfe Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Tue, 5 Feb 2019 18:44:13 +0100
Subject: [PATCH] Add config file
---
config.example.py | 10 ++++++++++
server.py | 13 ++++---------
2 files changed, 14 insertions(+), 9 deletions(-)
create mode 100644 config.example.py
diff --git a/config.example.py b/config.example.py
new file mode 100644
index 0000000..feb2e09
--- /dev/null
+++ b/config.example.py
@@ -0,0 +1,10 @@
+
+SECRET_KEY = os.urandom(64)
+
+wikis = {
+ "Wikipedia Deutsch": "https://de.wikipedia.org/wiki/",
+ "Wikipedia English": "https://en.wikipedia.org/wiki/",
+ "Wikipedia Deutsch (mobil)": "https://de.m.wikipedia.org/wiki/",
+ "Wikipedia English (mobile)": "https://en.m.wikipedia.org/wiki/",
+}
+
diff --git a/server.py b/server.py
index 11b22d9..1e39804 100644
--- a/server.py
+++ b/server.py
@@ -7,17 +7,12 @@ import bs4
import os
import urllib
-app = Flask(__name__, static_folder="argumenthelperstatic")
+import config
-app.config["SECRET_KEY"] = os.urandom(64)
+app = Flask(__name__, static_folder="argumenthelperstatic")
+app.config.from_object(config)
-wikis = {
- "Wikipedia Deutsch": "https://de.wikipedia.org/wiki/",
- "Wikipedia English": "https://en.wikipedia.org/wiki/",
- "Wikipedia Deutsch (mobil)": "https://de.m.wikipedia.org/wiki/",
- "Wikipedia English (mobile)": "https://en.m.wikipedia.org/wiki/",
- "FSMPI PubWiki": "https://pubwiki.fsmpi.rwth-aachen.de",
-}
+wikis = config.WIKIS
wiki_choices = list(zip(wikis.keys(), wikis.keys()))
--
GitLab