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

driver.rkt: support network configuration #1616

Closed
wants to merge 3 commits into from
Closed

driver.rkt: support network configuration #1616

wants to merge 3 commits into from

Conversation

nak3
Copy link
Contributor

@nak3 nak3 commented Aug 18, 2016

No description provided.

@blalor
Copy link
Contributor

blalor commented Aug 29, 2016

@nak3 Thank you for taking this on!

network += fmt.Sprintf("%s,", n)
}
// Trim last comma
network = strings.TrimRight(network, ",")
Copy link
Member

Choose a reason for hiding this comment

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

network := strings.Join(driverConfig.Net, ",") would be preferred.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

@schmichael Thank you. I updated it.

@schmichael
Copy link
Member

I rebased onto master and tried to fix your tests. If my PR #1862 looks ok we can just close this and have rkt port mappings in 0.5!

@schmichael schmichael self-assigned this Oct 26, 2016
@nak3
Copy link
Contributor Author

nak3 commented Oct 26, 2016

Thank you @schmichael
Please close this PR and go ahead yours.

@github-actions
Copy link

I'm going to lock this pull request because it has been closed for 120 days ⏳. This helps our maintainers find and focus on the active contributions.
If you have found a problem that seems related to this change, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 15, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants