Skip to content

Redis channel

Sebastien Petitdemange requested to merge redis_channel into master

channels: channels now talk through redis instead of nanomsg

Channels value are now associated with a time stamp to check which come first, this supposed a time synchronization with at least ntp between pc(s). In case of a high changing rate value channel, we only guarantee to send the last value. Values in-between may not be send.

Merge request reports