From 107d7ebdd42061cd16fd9a00edd4fd4201ba59a2 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@fsf.org>
Date: Fri, 11 May 2018 16:23:03 -0400
Subject: Add basic time profiling to dbg_print

---
 main_background.js | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'main_background.js')

diff --git a/main_background.js b/main_background.js
index 518901d..16b58d3 100644
--- a/main_background.js
+++ b/main_background.js
@@ -35,9 +35,11 @@ console.log("main_background.js");
 */
 var DEBUG = false; // debug the JS evaluation 
 var PRINT_DEBUG = false; // Everything else 
+var time = Date.now();
 
 function dbg_print(a,b){
 	if(PRINT_DEBUG == true){
+		console.log("Time spent so far: " + (Date.now() - time)/1000 + " seconds");
 		if(b === undefined){
 			console.log(a);
 		} else{
@@ -1271,6 +1273,7 @@ function read_document(a){
 		dbg_print("%c Error in getting document","color:red");
 	}
 	filter.onstop = event => {
+		time = Date.now();
 		delete unused_data[a["tabId"]];
 		webex.browserAction.setBadgeText({
 			text: "✓",
-- 
cgit v1.2.3