diff options
author | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2016-04-25 16:19:00 -0700 |
---|---|---|
committer | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2016-04-25 16:19:00 -0700 |
commit | 25ff54435e9f74fce0d8b35774e8f2813f827c9f (patch) | |
tree | bd7dd80fe85332055adbc586cfcd2f27b4f5d5da /src | |
parent | d64be98091c66f81c30de9c2a32825ee8eda97fd (diff) | |
parent | 653ea75ff571c7dc04371372068d240f4aa11983 (diff) |
Merge pull request #6277 from ctiller/shutdown_proper_like
Properly shutdown pollsets before destroying them
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions