and if you destroy the scheduler would still need to ```may Pants #development

(and if you destroy the scheduler, would still nee...

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);
});

)