fix for strange zmq behaviour: use polling
authorMax Voit <max.voit+gtdv@with-eyes.net>
Sat, 27 Jun 2015 17:04:56 +0000 (19:04 +0200)
committerMax Voit <max.voit+gtdv@with-eyes.net>
Sat, 27 Jun 2015 17:04:56 +0000 (19:04 +0200)
commit91892eab0568d9bed84206cba178f9987158408e
tree04876759794093d5ea4a3c0c73f81225a80de81f
parente1877b0a226fcfa5e5806ad1479d4cb9469d13c8
fix for strange zmq behaviour: use polling
src/Data/Acid/Centered/Master.hs
src/Data/Acid/Centered/Slave.hs