commit dd488acd13f8b753e8ed471d33439e121e007d94 Author: Mike Perry mikeperry-git@torproject.org Date: Sun Dec 22 02:15:59 2013 -0600
Bug #9486: Clear NoScript Temporary Permissions on New Identity --- src/chrome/content/torbutton.js | 9 +++++++++ 1 file changed, 9 insertions(+)
diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js index 6298e46..4d37d46 100644 --- a/src/chrome/content/torbutton.js +++ b/src/chrome/content/torbutton.js @@ -1457,6 +1457,15 @@ function torbutton_do_new_identity() { torbutton_log(3, "New Identity: Emitting Private Browsing Session clear event"); obsSvc.notifyObservers(null, "browser:purge-session-history", "");
+ torbutton_log(3, "New Identity: Clearing NoScript Temporary Permissions"); + + try { + if(m_tb_prefs.prefHasUserValue("noscript.temp")) + m_tb_prefs.clearUserPref("noscript.temp"); + } catch(e) { + torbutton_log(4, "New Identity: Error clearing NoScript Temporary Permissions: "+e); + } + torbutton_log(3, "New Identity: Clearing HTTP Auth");
if(m_tb_prefs.getBoolPref('extensions.torbutton.clear_http_auth')) {