diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-09-01T11·36+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-09-01T11·36+0000 |
commit | e4907411c2d902215d1a18456ce8b0c653650461 (patch) | |
tree | 2af8a0db993b9ce847f790de8091093e01f23855 /scripts/generate-patches.pl.in | |
parent | bf0dde959771661c6893001a7e0779b65d7be490 (diff) |
* Only do "pragma journal_mode = ..." if the current journal mode
differs from the desired mode. There is an open SQLite ticket `Executing "PRAGMA journal_mode" may delete journal file while it is in use.'
Diffstat (limited to 'scripts/generate-patches.pl.in')
0 files changed, 0 insertions, 0 deletions