https://pantsbuild.org/ logo
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);
});
)