[tor-commits] [torbutton/master] Bug #9486: Clear NoScript Temporary Permissions on New Identity

[mikeperry at torproject.org]

commit dd488acd13f8b753e8ed471d33439e121e007d94
Author: Mike Perry <mikeperry-git at 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')) {