From dda7f2b18e5d8a3a6f2605bf9778bb317907943b Mon Sep 17 00:00:00 2001
From: Nic Jansma <nic@nicj.net>
Date: Wed, 7 Jun 2017 17:41:49 -0400
Subject: [PATCH] BOOMR.log: Add timestamp

---
 boomerang.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boomerang.js b/boomerang.js
index 13bb43b8f..697d368a0 100644
--- a/boomerang.js
+++ b/boomerang.js
@@ -2039,7 +2039,7 @@ BOOMR_check_doc_domain();
 		var make_logger;
 
 		if (typeof console === "object" && console.log !== undefined) {
-			boomr.log = function(m, l, s) { console.log(s + ": [" + l + "] " + m); };
+			boomr.log = function(m, l, s) { console.log(BOOMR.now() + ": " + s + ": [" + l + "] " + m); };
 		}
 
 		make_logger = function(l) {