aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRuben Rodriguez <ruben@fsf.org>2018-05-11 16:23:03 -0400
committerRuben Rodriguez <ruben@fsf.org>2018-05-11 16:23:03 -0400
commit107d7ebdd42061cd16fd9a00edd4fd4201ba59a2 (patch)
treef8e9f8eab19b49c4741d294a41cf7ed7fd35b54a
parent522a6fccddcdeaaf6ae4adbb984f4636b31bdb8c (diff)
Add basic time profiling to dbg_print
-rw-r--r--main_background.js3
1 files changed, 3 insertions, 0 deletions
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: "✓",