diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-16T08·52+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-16T08·52+0000 |
commit | f7c7aad1351a0ed58f458e485968af498d542b5b (patch) | |
tree | 11edd455ae41e78084c206c96e1538290afb08ae /src/exec.cc | |
parent | 181aa3dc4198d2e2cfa89d3ebb53a96fa567e12f (diff) |
* Upgraded to Berkeley DB 4.1.25 and do not synchronously flush the
log on commit. This means that there is a small change that some transactions may be rolled back in case of a system crash, but this should not be a problem (it merely might cause some expression realisations to be rolled back), and it vastly improves performance. * Upgraded to ATerm 2.0.5 (which also includes Armijn's 64-bit patches).
Diffstat (limited to 'src/exec.cc')
0 files changed, 0 insertions, 0 deletions