Re: [racket-dev] Intermittent build error in docs db

2013-12-20 Thread Sam Tobin-Hochstadt
On Fri, Dec 20, 2013 at 4:21 PM, Matthew Flatt wrote: > I now know that the more relevant error > from SQLite is > > some kind of disk I/O error occurred > > Somehow, this does not feel like progress. > > The error seems to happen only with read-only database connections, > where using read-only

Re: [racket-dev] Intermittent build error in docs db

2013-12-20 Thread Matthew Flatt
After another 20 attempts, I managed to extract (twice) the original error that is triggering the rollback and its failure. Instead of the SQL logic error or missing database error at a rollback attempt, I now know that the more relevant error from SQLite is some kind of disk I/O error occu

Re: [racket-dev] Intermittent build error in docs db

2013-12-20 Thread Matthew Flatt
Thanks! I've seen this error twice before today, and I've managed to provoke it twice this morning --- but that's out of about 20 attempts this morning, so it's slow going. At Fri, 20 Dec 2013 09:51:23 -0500, Sam Tobin-Hochstadt wrote: > There's been an intermittent error on a few DrDr runs on `ma

[racket-dev] Intermittent build error in docs db

2013-12-20 Thread Sam Tobin-Hochstadt
There's been an intermittent error on a few DrDr runs on `master`. You can see it here, search for 'rollback'. http://drdr.racket-lang.org/27963/pkg-src/build/make This doesn't seem to be causing anything else to break the DrDr notices, but since there were some DB problems with the release,