diff options
| -rw-r--r-- | src/libstore/local-store.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/local-store.cc b/src/libstore/local-store.cc index 7f375097a825..64b5dd961cf7 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"); |