diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-24T13·35+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-24T13·35+0000 |
| commit | 3b521bb1bd53479896de89e7a24938039f92aace (patch) | |
| tree | fbf9b03dfa11dd7a74a2cade8c668bbe0ff8935d /src/util.cc | |
| parent | 1a7468a57a11288a007c40d50ed28718d757a546 (diff) | |
* Do sync the database, since not doing so caused database changes not
to reach the disk at all. Looks like a bug.
Diffstat (limited to 'src/util.cc')
0 files changed, 0 insertions, 0 deletions