diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-08-07 10:29:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-07 10:29:16 -0400 |
| commit | 8067a2fe9430e6685ce77916512dfec26a4c4c58 (patch) | |
| tree | 74f542f4fa2c2d9569fc6ac377fdbdd95c9f0817 /components/servo | |
| parent | 5854e1500d8e4a958f858afdea63d973cca5ba4a (diff) | |
| parent | 47e6430d307c647b7c8232c20bc2edaf72ea2ef7 (diff) | |
| download | servo-8067a2fe9430e6685ce77916512dfec26a4c4c58.tar.gz servo-8067a2fe9430e6685ce77916512dfec26a4c4c58.zip | |
Auto merge of #27537 - jdm:armmedia, r=Manishearth
Use gstreamer on UWP targets
This fixes a regression that cause our arm64 builds to use the dummy media stack by default. Oops.
Fix #27531. Fix #27532.
Diffstat (limited to 'components/servo')
| -rw-r--r-- | components/servo/lib.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/components/servo/lib.rs b/components/servo/lib.rs index 2bcc5694074..09e6a3ef078 100644 --- a/components/servo/lib.rs +++ b/components/servo/lib.rs @@ -144,9 +144,8 @@ mod media_platform { #[cfg(feature = "uwp")] fn set_gstreamer_log_handler() { - use gstreamer::{debug_add_log_function, debug_remove_default_log_function, DebugLevel}; + use gstreamer::{debug_add_log_function, DebugLevel}; - debug_remove_default_log_function(); debug_add_log_function(|cat, level, file, function, line, _, message| { let message = format!( "{:?} {:?} {:?}:{:?}:{:?} {:?}", |