diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-12-23 19:38:18 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-12-23 19:38:18 -0400 |
| commit | 7c30af770b98a0459f65b9bfff37f35b5da0835d (patch) | |
| tree | f59e424c19692c6dc2b9d81e77ee9726da2f3c10 /Database | |
| 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 'Database')
0 files changed, 0 insertions, 0 deletions