diff options
| -rw-r--r-- | debian/local/pref/user.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index 6267f57477..f4d8e4d558 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1102,3 +1102,9 @@ user_pref("layout.spellcheckDefault", 0); user_pref("media.autoplay.default", 5); user_pref("media.autoplay.blocking_policy", 2); + +user_pref("network.http.max-connections", 1800); +user_pref("network.http.max-persistent-connections-per-proxy", 64); +user_pref("network.http.max-persistent-connections-per-server", 12); +user_pref("network.http.max-urgent-start-excessive-connections-per-host", 6); +user_pref("network.websocket.max-connections", 400); |