commit 03db50418ca828b04eeb5cfba95016054b226134 Author: Mike Perry <mikeperry-git@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); }