Merge pull request #3883 from vodorok/workspace_before_logging_server

Create workspace directory before logging server
Ericsson · Apr 14, 2023 · ecf3776 · ecf3776
2 parents 86b5e39 + ed276e5
commit ecf3776
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/web/server/codechecker_server/cmd/server.py b/web/server/codechecker_server/cmd/server.py
@@ -992,6 +992,12 @@ def main(args):
         else None
     )
 
+    # Create workspace directory before logging is initialized.
+    if workspace and not os.path.exists(args.config_directory):
+        LOG.info("Creating non existing config directory: %s",
+                 args.config_directory)
+        os.makedirs(args.config_directory)
+
     with logger.LOG_CFG_SERVER(
         args.verbose if "verbose" in args else None, workspace=workspace
     ):