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

Change the default port for the development servers #355

Conversation

JulianKniephoff
Copy link
Member

5000 is used by Control Center on macOS, so this will likely annoy
at least a few developers.

This is based on #346, so that should be reviewed and merged first.

@JulianKniephoff JulianKniephoff added the type:code-enhancement Internal improvements to the codebase label May 7, 2024

This comment was marked as resolved.

@JulianKniephoff JulianKniephoff force-pushed the default-development-port branch from c613c2e to df2602a Compare May 8, 2024 07:21
@JulianKniephoff JulianKniephoff force-pushed the default-development-port branch 2 times, most recently from af0a24a to d54b5fa Compare May 14, 2024 09:55

This comment was marked as resolved.

This comment was marked as resolved.

5000 is used by Control Center on macOS, so this will likely annoy
at least a few developers.

This is based on opencast#346, so that should be reviewed and merged first.
@JulianKniephoff
Copy link
Member Author

This is made obsolete by #398 (and indirectly #394).

@JulianKniephoff JulianKniephoff deleted the default-development-port branch May 21, 2024 10:21
@ziegenberg ziegenberg added type:infrastructure Build process, deployment, workflows and removed type:code-enhancement Internal improvements to the codebase labels May 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type:infrastructure Build process, deployment, workflows
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants