diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-12-18 14:25:25 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-12-18 14:25:25 +0100 |
| commit | 87873d0d656890f693aa29f062dd8fc496a9d6ae (patch) | |
| tree | 16e332e447e01114cd296dc94d9aa9937c9d7602 /src/libstore/sqlite.hh | |
| parent | 31c240ee8b5f7949439eede0d7953d04261147fe (diff) | |
| parent | f8abbdd4565542464f31f4dc203a9c3e091b3536 (diff) | |
Merge remote-tracking branch 'origin/master' into flakes
Diffstat (limited to 'src/libstore/sqlite.hh')
| -rw-r--r-- | src/libstore/sqlite.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/libstore/sqlite.hh b/src/libstore/sqlite.hh index 0f46f6a07..fd04c9b07 100644 --- a/src/libstore/sqlite.hh +++ b/src/libstore/sqlite.hh @@ -103,8 +103,8 @@ void handleSQLiteBusy(const SQLiteBusy & e); /* Convenience function for retrying a SQLite transaction when the database is busy. */ -template<typename T> -T retrySQLite(std::function<T()> fun) +template<typename T, typename F> +T retrySQLite(F && fun) { while (true) { try { |