|
@@ -228,8 +228,12 @@ public:
|
|
|
if (_received > 0) {
|
|
|
std::unique_lock <std::mutex> lock(_received_mutex);
|
|
|
|
|
|
- type::_graph_manager.transition(receivers, t);
|
|
|
- type::_graph_manager.transition(IMM, t);
|
|
|
+ if (not receivers.empty()) {
|
|
|
+ type::_graph_manager.transition(receivers, t);
|
|
|
+ }
|
|
|
+ if (not IMM.empty()) {
|
|
|
+ type::_graph_manager.transition(IMM, t);
|
|
|
+ }
|
|
|
_condition.wait(lock);
|
|
|
}
|
|
|
|