Method ~ThreadPoolExecutor

src/babylon/executor.cpp:71–73

/////////////////////////////////////////////////////////////////////////// ThreadPoolExecutor begin

////////////////////////////////////////////////////////////////////////////////
// ThreadPoolExecutor begin
ThreadPoolExecutor::~ThreadPoolExecutor() noexcept {
  stop();
}

void ThreadPoolExecutor::set_worker_number(size_t worker_number) noexcept {
  _worker_number = worker_number;