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

don't need to call poll_for_exit when stopping server #38

Merged
merged 1 commit into from
Feb 16, 2012
Merged

don't need to call poll_for_exit when stopping server #38

merged 1 commit into from
Feb 16, 2012

Commits on Feb 16, 2012

  1. don't need to call poll_for_exit, just need stop

    @darrinholst
    darrinholst committed Feb 16, 2012
    Configuration menu
    Copy the full SHA
    edf4411 View commit details
    Browse the repository at this point in the history