webservice changes

tools/ws/server.py

@@ -1,5 +1,9 @@
 import connexion
 from flask_cors import CORS
+from dbpool import createConnectionPool
+
+# prepare database connections
+createConnectionPool()
 
 # instantiate the webservice
 app = connexion.App(__name__)