Create workspace directory before logging server

Ericsson · Apr 14, 2023 · ed276e5 · ed276e5
1 parent 86b5e39
commit ed276e5
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
     ):