[tor-commits] [torbutton/master] Bug 5758: Speel the websocket pref correctly for Torbutton users.

[mikeperry at torproject.org]

commit 03db50418ca828b04eeb5cfba95016054b226134
Author: Mike Perry <mikeperry-git at fscked.org>
Date:   Fri May 25 14:49:24 2012 -0700

    Bug 5758: Speel the websocket pref correctly for Torbutton users.
    
    Wow, that was a close one. :/
---
 src/chrome/content/torbutton.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js
index 161a2e3..c714a93 100644
--- a/src/chrome/content/torbutton.js
+++ b/src/chrome/content/torbutton.js
@@ -2027,7 +2027,7 @@ function torbutton_update_status(mode, force_update) {
     // being pwnt.  This is a pretty darn ugly hack, too. But because of #5863,
     // we really don't care about preserving the user's values for this.
     if (!m_tb_tbb) {
-        m_tb_prefs.setBoolPref("network.websockets.enabled", false);
+        m_tb_prefs.setBoolPref("network.websocket.enabled", false);
         m_tb_prefs.setBoolPref("dom.indexedDB.enabled", false);
     }