[or-cvs] [torbutton/master] Fix bug 1171 for reals.

[mikeperry@xxxxxxxx]

Author: Mike Perry <mikeperry-git@xxxxxxxxxx>
Date: Mon, 14 Dec 2009 16:14:51 -0800
Subject: Fix bug 1171 for reals.
Commit: 35550ffbaf0f373d6d793a9e1de26b8ab8d85c99

network.dns.disablePrefetch has no default value, so we can't
have one saved either.
---
 src/defaults/preferences/preferences.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/defaults/preferences/preferences.js b/src/defaults/preferences/preferences.js
index 1a96ed4..9885905 100644
--- a/src/defaults/preferences/preferences.js
+++ b/src/defaults/preferences/preferences.js
@@ -79,7 +79,6 @@ pref("extensions.torbutton.saved.auto_update", true);
 pref("extensions.torbutton.saved.search_update", true);
 pref("extensions.torbutton.saved.geo_enabled", true);
 pref("extensions.torbutton.saved.zoom_specific", true);
-pref("extensions.torbutton.saved.dns_prefetch", true);
 pref("extensions.torbutton.saved.accept_languages", "");
 pref("extensions.torbutton.saved.accept_charsets", "");
 pref("extensions.torbutton.saved.appname_override","");
@@ -91,6 +90,8 @@ pref("extensions.torbutton.saved.productsub_override","");
 pref("extensions.torbutton.saved.buildID_override","");
 pref("extensions.torbutton.saved.useragent_vendor", "");
 pref("extensions.torbutton.saved.useragent_vendorSub","");
+// network.dns.disablePrefetch is a hidden option. It has no default value:
+//pref("extensions.torbutton.saved.dns_prefetch", false);
 
 // State prefs:
 pref("extensions.torbutton.tor_enabled",false);
-- 
1.5.6.5