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

Auto merge of #22910 - paulrouget:fix-jni-logs, r=jdm

Browse source 
Fix log filter. simpleservo::api doesn't exist anymore

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22910)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-02-19 08:10:38 -05:00 • committed by GitHub
commit 6441f383dd
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
ports/libsimpleservo/jniapi/src/lib.rs
View file

@ -65,7 +65,7 @@ pub fn Java_org_mozilla_servoview_JNIServo_init(
// should show up in adb logcat with a release build.
let filters = [
"servo",
"simpleservo::api",
"simpleservo",
"simpleservo::jniapi",
"simpleservo::gl_glue::egl",
// Show JS errors by default.