diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-03-25 00:02:16 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-25 00:09:33 +0100 |
| commit | 326264c8e9445cb94d7fb33aab5ef93dc99ffe57 (patch) | |
| tree | 9addd9840be50de61e31eaee450ba37a58cb2f75 /bin | |
| parent | c57fe3622d44ebce49f3c0f3c24b3b9e33f0ac15 (diff) | |
| download | cuirass-326264c8e9445cb94d7fb33aab5ef93dc99ffe57.tar cuirass-326264c8e9445cb94d7fb33aab5ef93dc99ffe57.tar.gz | |
database: Set a 'busy_timeout' to handle concurrent accesses.
Fixes a bug whereby some fibers would get a SQLITE_BUSY exception while
accessing the database: see
<https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30644#26>.
Suggested by Danny Milosavljevic <dannym@scratchpost.org>.
* src/cuirass/database.scm (wal-mode): Rename to...
(set-db-options): ... this. Add call to 'sqlite-exec' for
'busy_timeout'.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions