diff options
| author |  Carl Worth <cworth@cworth.org> | 2009-11-22 03:54:20 +0100 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2009-11-22 03:54:20 +0100 |
| commit | e2341cbc09b503f996fd46b68f9d96ae6004025b (patch) | |
| tree | 042bd073a0e34344025cf376453350793326599b /Makefile.config | |
| parent | 717279fbcf7e057957c7c6726cd4930393cd5fdf (diff) | |
Catch and optionally print about exception at database->flush.
If an earlier exception occurred, then it's not unexpected for the
flush to fail as well. So in that case, we'll silently catch the
exception. Otherwise, make some noise about things going wrong at the
time of flush.
Diffstat (limited to 'Makefile.config')
0 files changed, 0 insertions, 0 deletions