From e55177798948da38a9ba69609b4d27928bf3029e Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Mon, 29 May 2017 21:25:23 -0400
Subject: [PATCH] Vacuum database automatically on successful integrity check

Firefox does this for Places, so we might as well too.
---
 chrome/content/zotero/preferences/preferences_advanced.js | 8 ++++++++
 1 file changed, 8 insertions(+)

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';