From 9ef2cb56805d74b60b93fcbedd539b48c0e43e35 Mon Sep 17 00:00:00 2001 From: Paul Rouget Date: Tue, 19 Feb 2019 10:13:44 +0100 Subject: [PATCH] Fix log filter. simpleservo::api doesn't exist anymore --- ports/libsimpleservo/jniapi/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ports/libsimpleservo/jniapi/src/lib.rs b/ports/libsimpleservo/jniapi/src/lib.rs index f120768c17c..e3375db7de5 100644 --- a/ports/libsimpleservo/jniapi/src/lib.rs +++ b/ports/libsimpleservo/jniapi/src/lib.rs @@ -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.