Debug 6

teapot.py

@@ -306,7 +306,9 @@ async def _create_user_env(username, port):
     # by e.g. adding ". ~/.storm_profile" to the user's .bash_profile
     config["Storm-webdav"]["username"] = username
     config["Storm-webdav"]["port"] = port
-    config["Storm-webdav"]["port1"] = port+1
+    config["Storm-webdav"]["port1"] = port + 1
+    with open("/etc/teapot/config.ini", "a", encoding="utf-8") as configfile:
+        config.write(configfile)
     os.environ["STORM_WEBDAV_JVM_OPTS"] = config["Storm-webdav"]["JVM_OPTS"]
     os.environ["STORM_WEBDAV_SERVER_ADDRESS"] = config["Storm-webdav"]["SERVER_ADDRESS"]
     os.environ["STORM_WEBDAV_HTTPS_PORT"] = config["Storm-webdav"]["HTTPS_PORT"]