timeout and remove unresponsive nodes
authorMax Voit <max.voit+gtdv@with-eyes.net>
Thu, 18 Jun 2015 18:18:56 +0000 (20:18 +0200)
committerMax Voit <max.voit+gtdv@with-eyes.net>
Thu, 18 Jun 2015 18:18:56 +0000 (20:18 +0200)
commit842cfcb19b02640e081f69e4285cb4fd695cc311
treefd7827b616433c9bbade55ec2af2257ef18fa0ae
parent0ae5e011c2801e297c4dc3c14446ce599be5f4cb
timeout and remove unresponsive nodes
src/Data/Acid/Centered/Master.hs