diff --git a/chrome/content/zotero/preferences/preferences_advanced.js b/chrome/content/zotero/preferences/preferences_advanced.js index 73b31dbf6..f3f885704 100644 --- a/chrome/content/zotero/preferences/preferences_advanced.js +++ b/chrome/content/zotero/preferences/preferences_advanced.js @@ -171,6 +171,14 @@ Zotero_Preferences.Advanced = { return; } + + try { + yield Zotero.DB.vacuum(); + } + catch (e) { + Zotero.logError(e); + ok = false; + } } var str = ok ? 'passed' : 'failed';