Firefox does not honor "no-proxy-for" setting for https protocol

[Rüdiger Kupper]

When a proxy is configured in firefox, you can exclude certain domain names and/or IPs by listing them under "no-proxy-for". This works fine, when you connect to these addresses via http. However, when connecting via https, firefox ignores this setting and connects through the proxy anyway.

ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: firefox 27.0.1+build1-0ubuntu0.13.10.1
ProcVersionSignature: Ubuntu 3.11.0-18.32-generic 3.11.10.4
Uname: Linux 3.11.0-18-generic x86_64
AddonCompatCheckDisabled: False
ApportVersion: 2.12.5-0ubuntu2.2
Architecture: amd64
AudioDevicesInUse:
 USER PID ACCESS COMMAND
 /dev/snd/controlC0: kup 4545 F.... pulseaudio
BuildID: 20140218135856
Channel: Unavailable
Date: Fri Mar 14 14:32:59 2014
EcryptfsInUse: Yes
ForcedLayersAccel: False
IfupdownConfig:
 # interfaces(5) file used by ifup(8) and ifdown(8)
 auto lo
 iface lo inet loopback
IncompatibleExtensions:
 English (GB) Language Pack - <email address hidden>
 English (South Africa) Language Pack - <email address hidden>
 Deutsch (DE) Language Pack - <email address hidden>
 Default - {972ce4c6-7e08-4474-a285-3208198ce6fd}
InstallationDate: Installed on 2013-04-12 (335 days ago)
InstallationMedia: Ubuntu 12.10 "Quantal Quetzal" - Release amd64 (20121017.5)
MarkForUpload: True
MostRecentCrashID: bp-86303dd6-a293-4819-bebe-64c3e2131223
PrefSources: prefs.js
Profiles: Profile0 (Default) - LastVersion=27.0.1/20140218135856 (In use)
PulseList:
 Error: command ['pacmd', 'list'] failed with exit code 1: Home directory not accessible: Permission denied
 No PulseAudio daemon running, or not running as session daemon.
RelatedPackageVersions:
 icedtea-7-plugin 1.4-3ubuntu2.1
 gnome-shell 3.8.4-0ubuntu5
 totem-mozilla 3.8.2-0ubuntu1
 rhythmbox-mozilla 2.99.1-0ubuntu1
RunningIncompatibleAddons: True
SourcePackage: firefox
SubmittedCrashIDs:
 bp-86303dd6-a293-4819-bebe-64c3e2131223
 bp-89b584a6-ea88-4f90-8ead-eabd22131223
 bp-2a0d9473-3ef7-4db3-ba9a-1abe62131219
 bp-242adf7c-343e-49b0-a7da-3d84d2131219
UpgradeStatus: Upgraded to saucy on 2013-10-19 (146 days ago)
dmi.bios.date: 02/25/2013
dmi.bios.vendor: LENOVO
dmi.bios.version: GCET92WW (2.52 )
dmi.board.asset.tag: Not Available
dmi.board.name: 34382AG
dmi.board.vendor: LENOVO
dmi.board.version: Not Defined
dmi.chassis.asset.tag: No Asset Information
dmi.chassis.type: 10
dmi.chassis.vendor: LENOVO
dmi.chassis.version: Not Available
dmi.modalias: dmi:bvnLENOVO:bvrGCET92WW(2.52):bd02/25/2013:svnLENOVO:pn34382AG:pvrThinkPadX230Tablet:rvnLENOVO:rn34382AG:rvrNotDefined:cvnLENOVO:ct10:cvrNotAvailable:
dmi.product.name: 34382AG
dmi.product.version: ThinkPad X230 Tablet
dmi.sys.vendor: LENOVO