Message6308

Author florian
Recipients florian, jendrik, malte, manuel
Date 2017-05-02.10:21:10
Content
A related thing we should look at is what kind of information the notification
should provide. In issue725 I tried to reduce the number of GlobalOperator* and
notify_state_transition is one of them. It currently takes two GlobalStates and
one GlobalOperator*. But the GlobalOperator* is never used (only forwarded). If
you look into use cases you could also check if we can use an OperatorID,
OperatorProxy, or just remove the parameter.
History
Date User Action Args
2017-05-02 10:21:10floriansetmessageid: <1493713270.89.0.332445402102.issue724@unibas.ch>
2017-05-02 10:21:10floriansetrecipients: + florian, malte, jendrik, manuel
2017-05-02 10:21:10florianlinkissue724 messages
2017-05-02 10:21:10floriancreate