Ticket #32224: startup-observer.js.patch

File startup-observer.js.patch, 686 bytes (added by cypherpunks, 11 months ago)
  • startup-observer.js

    old new  
    8989    // Otherwise, homepage domain loads fail forever.
    9090    setProxySettings: function() {
    9191      if (!this.is_tbb)
    9292        return;
    9393
     94      if (Services.prefs.getBoolPref(
     95            "extensions.torbutton.use_nontor_proxy", false))
     96        return;
     97
    9498      // Bug 1506: Still want to get these env vars
    9599      let environ = Cc["@mozilla.org/process/environment;1"]
    96100                      .getService(Ci.nsIEnvironment);
    97101      if (environ.exists("TOR_TRANSPROXY")) {
    98102        this.logger.log(3, "Resetting Tor settings to transproxy");