Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Server should not start in case of incorrectly formated json file #1149

Closed
sylvestre opened this issue Nov 18, 2017 · 0 comments
Closed

Server should not start in case of incorrectly formated json file #1149

sylvestre opened this issue Nov 18, 2017 · 0 comments
Assignees
@whisperity
Labels
bug 🐛 enhancement 🌟 server 🖥️
Milestone
release 6.3

Comments

@sylvestre
Copy link
Contributor

I have a typo in my configuration file:

[WARNING] [10:13:23] {SESSION MANAGER} - session_manager.py:149 load_session_cfg() - No JSON object could be decoded
[WARNING] [10:13:23] {SESSION MANAGER} - session_manager.py:151 load_session_cfg() - Not valid user authentication file: /var/lib/jenkins/.codechecker/session_config.json

In that case, the server should not start:

  • it is risky
  • this is clearly not what I want when I am making a mistake in the configuration
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@whisperity whisperity

Labels
bug 🐛 enhancement 🌟 server 🖥️
Projects
None yet
Milestone
release 6.3
Development

No branches or pull requests
3 participants
@sylvestre @whisperity @gyorb