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 /release.nix | |
| 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 'release.nix')
0 files changed, 0 insertions, 0 deletions