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

Correct default port for NEST Server MPI #2581

Merged
merged 1 commit into from
Jan 10, 2023
Merged

Correct default port for NEST Server MPI #2581

merged 1 commit into from
Jan 10, 2023

Conversation

babsey
Copy link
Contributor

@babsey babsey commented Jan 10, 2023

This PR corrects the default port for NEST Server MPI.

@babsey babsey requested a review from jougs January 10, 2023 08:58
jougs
jougs approved these changes Jan 10, 2023
View reviewed changes
Copy link
Contributor

@jougs jougs left a comment

Choose a reason for hiding this comment

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

Good catch. Thanks for fixing.

Given the low number of affected users, I'll merge immediately and without second review.

@jougs jougs merged commit 939c885 into nest:master Jan 10, 2023
@babsey babsey deleted the nest-server-mpi-port branch January 10, 2023 09:22
@terhorstd terhorstd added S: Normal Handle this with default priority T: Maintenance Work to keep up the quality of the code and documentation. I: No breaking change Previously written code will work as before, no one should note anything changing (aside the fix) labels Jan 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jougs jougs jougs approved these changes

Assignees
No one assigned
Labels
I: No breaking change Previously written code will work as before, no one should note anything changing (aside the fix) S: Normal Handle this with default priority T: Maintenance Work to keep up the quality of the code and documentation.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@babsey @jougs @terhorstd