On 9 Mar 2016, at 10:15pm, Philippe Riand <phil at riand.com> wrote:
> I tries busy_timeout but that was unsuccessful. What did you set the time to ? Try 5 minutes. You should definitely remove all the unusual PRAGMAs apart from that one and see if that makes the problem go away. Simon.