diff options
author | 2015-12-23 19:38:18 -0400 | |
---|---|---|
committer | 2015-12-23 19:38:18 -0400 | |
commit | 7c30af770b98a0459f65b9bfff37f35b5da0835d (patch) | |
tree | f59e424c19692c6dc2b9d81e77ee9726da2f3c10 /Annex/BranchState.hs | |
parent | f4af69bdffbfa143aaca7971ddab6117dc684426 (diff) |
flush keys db queue even on exception
Also fixed a bug in makeRunner; run' leaves the mvar empty so have to
refill it.
Diffstat (limited to 'Annex/BranchState.hs')
0 files changed, 0 insertions, 0 deletions