Method stop

src/system/executor.cc:25–32

}

void Executor::stop() {
  if (!done_) {
    done_ = true;
    notify();
    thread_->join();
    thread_.release();
  }
}

void Executor::finish(const MessagePtr& msg) {
  RNode* r = rnode(msg->sender);