diff options
| author | 2019-11-12 10:19:57 +0100 | |
|---|---|---|
| committer | 2019-11-12 10:19:57 +0100 | |
| commit | 09c088c62ece3b17615fb4e2addfa16663bb334f (patch) | |
| tree | 9fe5a64e52711524bd6c327cd9db02dca83065a5 /app/Models/DatabaseDAOSQLite.php | |
| parent | 91cb165829badde07c42a002215cf52779d891b6 (diff) | |
| parent | 874fce6656ce0a4fb144af672e8a31f1ec5f64f5 (diff) | |
Merge pull request #2655 from FreshRSS/dev1.15.2
FreshRSS 1.15.2
Diffstat (limited to 'app/Models/DatabaseDAOSQLite.php')
| -rw-r--r-- | app/Models/DatabaseDAOSQLite.php | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/app/Models/DatabaseDAOSQLite.php b/app/Models/DatabaseDAOSQLite.php index 413e7ee09..eaa2d37a7 100644 --- a/app/Models/DatabaseDAOSQLite.php +++ b/app/Models/DatabaseDAOSQLite.php @@ -66,6 +66,11 @@ class FreshRSS_DatabaseDAOSQLite extends FreshRSS_DatabaseDAO { } public function optimize() { - return $this->pdo->exec('VACUUM') !== false; + $ok = $this->pdo->exec('VACUUM') !== false; + if (!$ok) { + $info = $this->pdo->errorInfo(); + Minz_Log::warning(__METHOD__ . ' error: ' . $sql . ' : ' . json_encode($info)); + } + return $ok; } } |
