documentation, settings change

src/utils/documentation.py

@@ -1,5 +1,6 @@
 from pyramid.config import Configurator
 from wsgiref.simple_server import make_server
+from src import docport
 import os
 def website():
     config = Configurator()
@@ -13,7 +14,7 @@ def website():
 def launch_documentation():
     app = website()
     server = make_server('localhost', 6543, app)
-    print("Serving MkDocs documentation on http://0.0.0.0:6543")
+    print("Serving MkDocs documentation on http://0.0.0.0:{}".format(docport))
     server.serve_forever()
 
 if __name__ == '__main__':