rem: torbutton_log(3, "socks_remote_dns is unavailable"); 
add: torbutton_log(4, "socks_remote_dns is unavailable"); 
context: function torbutton_check_socks_remote_dns(){    var o_prefbranch = false;    o_prefbranch = torbutton_get_prefbranch("network.proxy.");    // check if this version of Firefox has the socks_remote_dns option    try {        o_prefbranch.getBoolPref('socks_remote_dns');        torbutton_log(3, "socks_remote_dns is available");        return true;    } catch (rErr) {        // no such preference        torbutton_log(3, "socks_remote_dns is unavailable");        return false;    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/40dcb9049bb6b7aafbc03e59afa063688fdd530e/torbutton_util.js/buggy/src/chrome/content/torbutton_util.js