Skip to content

Commit

Permalink
Merge pull request Ericsson#3883 from vodorok/workspace_before_loggin…
Browse files Browse the repository at this point in the history
…g_server

Create workspace directory before logging server
  • Loading branch information
bruntib authored Apr 14, 2023
2 parents 86b5e39 + ed276e5 commit ecf3776
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions web/server/codechecker_server/cmd/server.py
Original file line number Diff line number Diff line change
Expand Up @@ -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
):
Expand Down

0 comments on commit ecf3776

Please sign in to comment.