database configuration

tools/ws/server.py

@@ -1,9 +1,15 @@
 import connexion
 from flask_cors import CORS
 from dbpool import createConnectionPool
+import configparser
+
+
+# load configuration
+config = configparser.ConfigParser()
+config.read('./config/server.ini')
 
 # prepare database connections
-createConnectionPool()
+createConnectionPool(config['database'])
 
 # instantiate the webservice
 app = connexion.App(__name__)