Calling interrupt_all() will immediately stop the scheduler, so it's safe to invoke stop() beforehand, and this removes the reliance on boost to interrupt serviceQueue().pull/764/head
parent
97aadf98d0
commit
306f71b4eb
Loading…
Reference in new issue