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

Misc fixes #28

Closed
wants to merge 14 commits into from
Closed

Misc fixes #28

wants to merge 14 commits into from

Conversation

alanj853
Copy link

This PR will be merged into https://github.com/se-apc/muontrap first. I am just creating this PR for testing with the travis CI that @fhunleth has set up.

This option will allow users to force the closing the actual spawned port after a specified length of time, should they need to.
We weren't properly handling the case where the port is actually already closed by the time we get to force-closing it.
Handle case where port is already closed
@alanj853 alanj853 closed this Aug 29, 2020
@alanj853 alanj853 deleted the misc_fixes branch August 29, 2020 17:52
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.

None yet

1 participant