From ba7a3788f0a57372cb6b41ad09a4ff13f8f64352 Mon Sep 17 00:00:00 2001
From: didierfred <didierfred@gmail.com>
Date: Mon, 12 Mar 2018 17:59:02 +0100
Subject: [PATCH] remove logs
---
background.js | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/background.js b/background.js
index 46c5c3e..d1e61a2 100644
--- a/background.js
+++ b/background.js
@@ -120,7 +120,6 @@ function rewriteRequestHeader(e)
*/
function rewriteResponseHeader(e)
{
-//console.log("modify response header");
for (var to_modify of config.headers)
{
if ((to_modify.status=="on")&&(to_modify.apply_on=="res"))
@@ -154,7 +153,6 @@ function rewriteResponseHeader(e)
}
-// console.log("response=" +JSON.stringify(e.responseHeaders));
return {responseHeaders: e.responseHeaders};
}
@@ -212,9 +210,9 @@ function addListener()
["blocking", "responseHeaders"]);
// for debug only
- browser.webRequest.onCompleted.addListener(log_headers,
- {urls: [target]},
- ["responseHeaders"]);
+// browser.webRequest.onCompleted.addListener(log_headers,
+// {urls: [target]},
+// ["responseHeaders"]);
}
function log_headers(e)
@@ -233,7 +231,7 @@ function removeListener()
browser.webRequest.onBeforeSendHeaders.removeListener(rewriteRequestHeader);
browser.webRequest.onHeadersReceived.removeListener(rewriteResponseHeader);
// for debug only
- browser.webRequest.onCompleted.removeListener(log_headers);
+// browser.webRequest.onCompleted.removeListener(log_headers);
}
--
GitLab