diff options
author | Ruben Rodriguez <ruben@fsf.org> | 2018-05-11 14:16:17 -0400 |
---|---|---|
committer | Ruben Rodriguez <ruben@fsf.org> | 2018-05-11 14:16:17 -0400 |
commit | 522a6fccddcdeaaf6ae4adbb984f4636b31bdb8c (patch) | |
tree | 616e1d0c4e106cd5aa3cb684fe49232bf356f1f4 | |
parent | 7b3839d22a8e6c0fd763eb9f2151d500dc6d03f9 (diff) |
Made less verbose when debug is off
-rw-r--r-- | main_background.js | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/main_background.js b/main_background.js index a5b43be..518901d 100644 --- a/main_background.js +++ b/main_background.js @@ -898,14 +898,14 @@ function license_read(script_src, name){ } // sponge - console.log("undedited_src:"); - console.log(unedited_src); - console.log(matches); - console.log("chopping at " + matches["index"] + "."); + dbg_print("undedited_src:"); + dbg_print(unedited_src); + dbg_print(matches); + dbg_print("chopping at " + matches["index"] + "."); var before = unedited_src.substring(0,matches["index"]); // sponge - console.log("before:"); - console.log(before); + dbg_print("before:"); + dbg_print(before); if (external) nontrivial_status = [true, "External script with no known license"] else @@ -1079,7 +1079,7 @@ function read_script(a){ var str = ""; filter.onstop = event => { - console.log("read_script "+a.url); + dbg_print("read_script "+a.url); var res = test_url_whitelisted(a.url); res.then(function(whitelisted){ var edit_script = get_script(str,a.url,a["tabId"],whitelisted,-1); |