drh 0c4de2d96d A simpler fix for ticket [3a88d85f36704eebe1] - one that uses less code. ...

The error message is not quite as good, but as this error has apparently
not previously occurred in over 8 years of heavy use, that is not seen as
a serious problem.

FossilOrigin-Name: 0ad1ed8ef0b5fb5d8db44479373b2b93d8fcfd66

2014-08-06 00:29:06 +00:00

20 KiB

Raw Blame History

View Raw