Avoid a race condition that might cause a busy_timeout to last longer than
commit4cd79ebaa22a32fda9fbaef6e8a099882edcbdb2
authorD. Richard Hipp <drh@hwaci.com>
Mon, 26 Mar 2018 20:43:05 +0000 (26 20:43 +0000)
committerD. Richard Hipp <drh@hwaci.com>
Mon, 26 Mar 2018 20:43:05 +0000 (26 20:43 +0000)
tree56d4fee1dd2a8411648d4c2331b1bd6a88aa6066
parent7c7c4657bd4b1bac856d58b208ece9f19961fea1
Avoid a race condition that might cause a busy_timeout to last longer than
it should.
src/btree.c
src/os_unix.c
src/pager.c
src/pager.h