Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #25899 - servo:jdm-patch-41, r=paulrouget

Browse source 
Disable devtools for HoloLens.

Apparently new pre-release OS images have something using port 6000 and this makes it impossible to start our app. Let's disable it for the short term.
This commit is contained in:
bors-servo 2020-03-05 04:30:19 -05:00 • committed by GitHub
commit ac6df52d2c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
support/hololens/ServoApp/ServoControl/Servo.cpp
View file

@ -92,7 +92,7 @@ Servo::Servo(hstring url, hstring args, GLsizei width, GLsizei height,
: mWindowHeight(height), mWindowWidth(width), mDelegate(aDelegate) {
capi::CInitOptions o;
hstring defaultPrefs = L" --pref dom.webxr.enabled --devtools=6000";
hstring defaultPrefs = L" --pref dom.webxr.enabled";
o.args = *hstring2char(args + defaultPrefs);
o.url = *hstring2char(url);
o.width = mWindowWidth;