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.

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

Fix option for UI port as well as some spelling errors #50

Merged
merged 1 commit into from
Aug 15, 2024

Conversation

Qup42
Copy link
Member

@Qup42 Qup42 commented Jun 28, 2024

The option for the UI port was mistakenly called --ui_port, it is now called --ui-port analogously to how other options are named.

@Qup42 Qup42 requested a review from hannahbast June 28, 2024 12:23
@Qup42 Qup42 self-assigned this Jun 28, 2024
Copy link
Member

@hannahbast hannahbast left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perfect, thanks!

@hannahbast hannahbast changed the title Consistent cli option naming & spelling fixes Fix option for UI port as well as some spelling errors Aug 15, 2024
@hannahbast hannahbast merged commit 082b811 into ad-freiburg:main Aug 15, 2024
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants