From 165efc47510a4f9bb51c11b81e8897c012d395c3 Mon Sep 17 00:00:00 2001 From: Steffen Sauler Date: Tue, 12 Dec 2017 13:43:12 +0100 Subject: [PATCH 1/3] Taking server host and port from config --- server.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/server.py b/server.py index 6866f60..5b79c53 100755 --- a/server.py +++ b/server.py @@ -19,6 +19,9 @@ configfile = os.path.join(os.environ['DASH_CONFIG'], 'config.cfg') cfg = configparser.ConfigParser() cfg.read(configfile) +server_host = cfg.get("Server", "host") +server_port = cfg.getint("Server", "port") + app = Flask(__name__) redis_server_log = redis.StrictRedis( @@ -541,4 +544,4 @@ def getTypeaheadData(): return jsonify(data) if __name__ == '__main__': - app.run(host='localhost', port=8001, threaded=True) + app.run(host=server_host, port=server_port, threaded=True) From fb9e49a61287b98a2a642736704d6a33edce218e Mon Sep 17 00:00:00 2001 From: Steffen Sauler Date: Tue, 12 Dec 2017 13:43:51 +0100 Subject: [PATCH 2/3] Adding default server fields --- config/config.cfg.default | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/config/config.cfg.default b/config/config.cfg.default index 6b3b46b..3cff6f1 100644 --- a/config/config.cfg.default +++ b/config/config.cfg.default @@ -1,3 +1,7 @@ +[Server] +host = localhost +port = 9001 + [Dashboard] #hours graph_log_refresh_rate = 1 From b4f0aeb3af03954b13bc7d956f5c0cdeb227dbac Mon Sep 17 00:00:00 2001 From: Steffen Sauler Date: Tue, 12 Dec 2017 16:48:54 +0100 Subject: [PATCH 3/3] Fix: config default port back to 9001 --- config/config.cfg.default | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/config.cfg.default b/config/config.cfg.default index 3cff6f1..c564753 100644 --- a/config/config.cfg.default +++ b/config/config.cfg.default @@ -1,6 +1,6 @@ [Server] host = localhost -port = 9001 +port = 8001 [Dashboard] #hours