diff options
Diffstat (limited to 'executor/executor_runner.h')
| -rw-r--r-- | executor/executor_runner.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/executor/executor_runner.h b/executor/executor_runner.h index 96fcc9b44..5229fa1a7 100644 --- a/executor/executor_runner.h +++ b/executor/executor_runner.h @@ -55,6 +55,8 @@ public: { if (state_ != State::Started && state_ != State::Idle) return false; + if (msg.avoid & (1ull << id_)) + return false; if (msg_) fail("already have pending msg"); if (wait_start_) |
