RequestPolicy/requestpolicy — Issue #170: "disable dns prefetch on startup" doesn't work
Author: jsamuel
Created: 2011-12-22 04:07:05+00:00
State: open
Labels: extension

The "disable dns prefetch on startup" features does not work after the first run of !RequestPolicy. Thanks to Archaeopteryx who reported this bug.

The cause may be confusion about a pref which doesn't have a default value at all, `network.dns.disablePrefetch`, being checked only to see if it has a user value without regard to the fact that it may have a user value that is "false". So RP does the right thing if dns prefetching was re-enabled by deleting the pref but not if the pref was set to "false" (which is what the new RP preference UI in #84 does).

It's a bit embarrassing that I didn't notice this when testing the fix for #84, which is likely how Archaeopteryx noticed it.