diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-09-01 11:36:22 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-09-01 11:36:22 +0000 |
commit | e4907411c2d902215d1a18456ce8b0c653650461 (patch) | |
tree | 2af8a0db993b9ce847f790de8091093e01f23855 /scripts/copying-collector.pl | |
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/copying-collector.pl')
0 files changed, 0 insertions, 0 deletions