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 #27025 - paulrouget:devtoolstweaks, r=jdm

Browse source 
Allow embedder to bypass devtools prompt

This introduces a token shared by servo and the embedder that can be used during the initial phase of the devtools connection.

Added also a commit to remove the devtools server panel. We just print the devtools port in the console now.
This commit is contained in:
bors-servo 2020-06-22 13:59:02 -04:00 • committed by GitHub
commit ed46f00497
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
19 changed files with 89 additions and 50 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Cargo.lock generated
View file

@ -1208,6 +1208,7 @@ dependencies = [
"msg",
"serde",
"serde_json",
"servo_rand",
"servo_url",
"time",
"uuid",