Update user.js

This commit is contained in:
claustromaniac 2018-11-24 01:58:51 -03:00
parent 3bf7a9db00
commit c2a3b6a4d7
No known key found for this signature in database
GPG key ID: 6FFF2F5AB0F3AA2D

View file

@ -654,7 +654,7 @@ user_pref("browser.cache.disk_cache_ssl", false);
* [NOTE] This means any permission changes are session only * [NOTE] This means any permission changes are session only
* [1] https://bugzilla.mozilla.org/967812 ***/ * [1] https://bugzilla.mozilla.org/967812 ***/
// user_pref("permissions.memory_only", true); // (hidden pref) // user_pref("permissions.memory_only", true); // (hidden pref)
/* 1008: set DNS cache and expiration time (default 400 and 60, same as TBB) ***/ /* 1008: set DNS cache and expiration time (default 400 and 60, same as Tor Browser) ***/
// user_pref("network.dnsCacheEntries", 400); // user_pref("network.dnsCacheEntries", 400);
// user_pref("network.dnsCacheExpiration", 60); // user_pref("network.dnsCacheExpiration", 60);
/** SESSIONS & SESSION RESTORE ***/ /** SESSIONS & SESSION RESTORE ***/