actually copy the environment

Author: vladak

docker/start.py

@@ -656,10 +656,10 @@ def main():
     logger.info("Starting Tomcat")
     tomcat_temp = os.path.join(OPENGROK_DATA_ROOT, "tomcat_temp")
     os.makedirs(tomcat_temp, exist_ok=True)
-    tomcat_env = os.environ
+    tomcat_env = dict(os.environ)
     tomcat_env["CATALINA_TMPDIR"] = tomcat_temp
     tomcat_popen = subprocess.Popen(
-        [os.path.join(tomcat_root, "bin", "catalina.sh"), "run"]
+        [os.path.join(tomcat_root, "bin", "catalina.sh"), "run"], env=tomcat_env
     )
 
     sigset = set()