Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#development
Title
w
witty-crayon-22786
03/14/2017, 1:32 AM
(and if you destroy the scheduler, would still need to
Copy code
maybe_drain_handles().map(|handles| { externs::drop_handles(handles); });
)
Post