rem: m_http_proxy = m_https_proxy = m_ftp_proxy = m_gopher_proxy = 'localhost'; 
add: m_http_proxy = m_https_proxy = m_ftp_proxy = m_gopher_proxy = proxy_host; 
context: function torbutton_init_prefs() {    var proxy_port;    torbutton_log(4, "called init_prefs()");    if (!m_prefs) { torbutton_log(1, "ERROR: m_prefs undefined"); }    if (m_prefs.getBoolPref('extensions.torbutton.use_privoxy'))        proxy_port = 8118;    else        proxy_port = 9050;    if (m_prefs.getCharPref('extensions.torbutton.settings_method') == 'recommended')    {        torbutton_log(5, "using recommended settings");        if (m_socks_pref_exists)        {            m_http_proxy = m_https_proxy = 'localhost';            m_ftp_proxy = m_gopher_proxy = '';            m_http_port = m_https_port   = proxy_port;            m_ftp_port = m_gopher_port   = 0;        } else {            m_http_proxy = m_https_proxy = m_ftp_proxy = m_gopher_proxy = 'localhost';            m_http_port = m_https_port = m_ftp_port = m_gopher_port = proxy_port;        }        m_socks_host = 'localhost';        m_socks_port = 9050;    } else {        m_http_proxy   = m_prefs.getCharPref('extensions.torbutton.http_proxy');        m_http_port    = m_prefs.getIntPref('extensions.torbutton.http_port');        m_https_proxy  = m_prefs.getCharPref('extensions.torbutton.https_proxy');        m_https_port   = m_prefs.getIntPref('extensions.torbutton.https_port');        m_ftp_proxy    = m_prefs.getCharPref('extensions.torbutton.ftp_proxy');        m_ftp_port     = m_prefs.getIntPref('extensions.torbutton.ftp_port');        m_gopher_proxy = m_prefs.getCharPref('extensions.torbutton.gopher_proxy');        m_gopher_port  = m_prefs.getIntPref('extensions.torbutton.gopher_port');        m_socks_host   = m_prefs.getCharPref('extensions.torbutton.socks_host');        m_socks_port   = m_prefs.getIntPref('extensions.torbutton.socks_port');    }    torbutton_log(1, 'http_port='+m_http_port);    // m_prefs.setCharPref('extensions.torbutton.http_proxy',   m_http_proxy);    // m_prefs.setIntPref('extensions.torbutton.http_port',     m_http_port);    // m_prefs.setCharPref('extensions.torbutton.https_proxy',  m_https_proxy);    // m_prefs.setIntPref('extensions.torbutton.https_port',    m_https_port);    // m_prefs.setCharPref('extensions.torbutton.ftp_proxy',    m_ftp_proxy);    // m_prefs.setIntPref('extensions.torbutton.ftp_port',      m_ftp_port);    // m_prefs.setCharPref('extensions.torbutton.gopher_proxy', m_gopher_proxy);    // m_prefs.setIntPref('extensions.torbutton.gopher_port',   m_gopher_port);    // m_prefs.setCharPref('extensions.torbutton.socks_host',   m_socks_host);    // m_prefs.setIntPref('extensions.torbutton.socks_port',    m_socks_port);}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/2f1c733af875eb058ed3b03f30404944e81a50a6/torbutton.js/buggy/src/chrome/content/torbutton.js