diff options
author | Josh Blum | 2013-06-07 17:06:39 -0700 |
---|---|---|
committer | Josh Blum | 2013-06-07 17:06:39 -0700 |
commit | 3a24238960cdedb3a46eb3c5d2eee5d2bf8d806f (patch) | |
tree | eb2fca47c136d4bccaa1240632767ad739c0b9ef /lib/task_fail.cpp | |
parent | b449b950f0189a95adacb07af139489ab44b05fd (diff) | |
download | sandhi-3a24238960cdedb3a46eb3c5d2eee5d2bf8d806f.tar.gz sandhi-3a24238960cdedb3a46eb3c5d2eee5d2bf8d806f.tar.bz2 sandhi-3a24238960cdedb3a46eb3c5d2eee5d2bf8d806f.zip |
gras: input fail safety check for msgs only ports
Diffstat (limited to 'lib/task_fail.cpp')
-rw-r--r-- | lib/task_fail.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/task_fail.cpp b/lib/task_fail.cpp index 415c13b..061ee9a 100644 --- a/lib/task_fail.cpp +++ b/lib/task_fail.cpp @@ -33,7 +33,7 @@ void BlockActor::input_fail(const size_t i) } //check that the input is not already maxed - if (data->input_queues.is_front_maximal(i)) + if (not data->input_queues.empty(i) and data->input_queues.is_front_maximal(i)) { throw std::runtime_error("input_fail called on maximum_items buffer in " + name); } |