diff --git a/src/libstore/local-store.cc b/src/libstore/local-store.cc index 7f375097a..64b5dd961 100644 --- a/src/libstore/local-store.cc +++ b/src/libstore/local-store.cc @@ -48,7 +48,7 @@ static void throwSQLiteError(sqlite3 * db, const format & f) static void throwSQLiteError(sqlite3 * db, const format & f) { int err = sqlite3_errcode(db); - if (err == SQLITE_BUSY) { + if (err == SQLITE_BUSY || err == SQLITE_PROTOCOL) { static bool warned = false; if (!warned) { printMsg(lvlError, "warning: SQLite database is busy");