Lessen pressure on the thread-local RNG

When loading HTTP requests, initialise the request ID only if devtools
are used, to lessen the pressure put on the RNG initialisation.

This tentatively fixes #11100 on OS X.
This commit is contained in:
Anthony Ramine 2016-08-16 10:11:33 +02:00
parent cb01d37338
commit 6cc862d0c6
3 changed files with 16 additions and 12 deletions

View file

@ -1,7 +1,5 @@
[reflection-embedded.html]
type: testharness
disabled:
if os == "mac": https://github.com/servo/servo/issues/11100
[img.dir: typeof IDL attribute]
expected: FAIL