Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-02 17:49:16 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #27304 - paulrouget:staticdevtoolsport, r=jdm

Browse source 
UWP: non random port for devtools, and support for custom UWP prefs

packages-prefs.json is now taken into account for libsimpleservo. Making it possible to have custom pref for the UWP builds, removing some weirdness in the way we handle preferences in the hololens code.

This also adds a new set of preferences to control the devtools server startup state, and make the port choice constant across sessions.

Fix #27267
Fix #22970
This commit is contained in:
bors-servo 2020-07-21 03:38:10 -04:00 • committed by GitHub
commit 774673d186
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
15 changed files with 116 additions and 58 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Cargo.lock generated
View file

@ -1242,6 +1242,7 @@ dependencies = [
"msg",
"serde",
"serde_json",
"servo_config",
"servo_rand",
"servo_url",
"time",
@ -5433,6 +5434,7 @@ dependencies = [
"libloading 0.5.2",
"libservo",
"log",
"serde_json",
"servo-media",
"surfman",
"webxr",