Gerolf Seitz 41ae9709d4 Fix potentical race condition in Dispatcher (#3415) ... Instead of using the value of the state at the time of subscription, we need to call getHead explicitly. Otherwise it could happen that the state gets updated between reading it and completing the subscription, which means the stream would miss an update of head. This also removes the type parameter of SignalDispatcher again, as it is best that this class doesn't even know the data type involved.		2019-11-11 17:36:50 +01:00
..
src	Fix potentical race condition in Dispatcher (#3415)	2019-11-11 17:36:50 +01:00
BUILD.bazel	Remove duplicates of TestExecutionSequencerFactory (#3264)	2019-10-28 15:56:33 -04:00