diff --git a/infer/src/base/ResultsDir.ml b/infer/src/base/ResultsDir.ml index ef792635f..a0c875ab2 100644 --- a/infer/src/base/ResultsDir.ml +++ b/infer/src/base/ResultsDir.ml @@ -89,7 +89,7 @@ let db_close () = let new_database_connection () = db_close () ; let db = Sqlite3.db_open ~mode:`NO_CREATE ~cache:`PRIVATE ~mutex:`FULL database_fullpath in - Sqlite3.busy_timeout db 1000 ; + Sqlite3.busy_timeout db 10_000 ; (* Higher level of "synchronous" are only useful to guarantee that the db will not be corrupted if the machine crashes for some reason before the data has been actually written to disk. We do not need this kind of guarantee for infer results as one can always rerun infer if interrupted. *) SqliteUtils.exec db ~log:"synchronous=OFF" ~stmt:"PRAGMA synchronous=OFF" ; database := Some db ;