From 5f1e582b05899f1393eae73d68b26544c778f079 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Sat, 30 Nov 2013 03:16:56 -0500
Subject: [PATCH] Include timings in -zoterodebug output

---
 chrome/content/zotero/xpcom/debug.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chrome/content/zotero/xpcom/debug.js b/chrome/content/zotero/xpcom/debug.js
index 786ed33927..7db32ac095 100644
--- a/chrome/content/zotero/xpcom/debug.js
+++ b/chrome/content/zotero/xpcom/debug.js
@@ -34,7 +34,7 @@ Zotero.Debug = new function () {
 			Zotero.Prefs.set('debug.store', false);
 		}
 		_level = Zotero.Prefs.get('debug.level');
-		_time = Zotero.Prefs.get('debug.time');
+		_time = forceDebugLog || Zotero.Prefs.get('debug.time');
 		_stackTrace = Zotero.Prefs.get('debug.stackTrace');
 		
 		this.storing = _store;