Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upTwo gstreamer plugins, both called servosrc #25051
Closed
Labels
Comments
|
Sigh, #25218 fixed the type name clash (which caused a panic) but not the plugin name clash (which causes the wrong plugin to get loaded). We need to rename |
bors-servo
added a commit
that referenced
this issue
Dec 11, 2019
…mean-it-this-time, r=Manishearth Rename servosrc to servowebsrc <!-- Please describe your changes on the following line: --> Really fixes a name clash with servo-media. Really. --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: --> - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes fix #25051 - [x] These changes do not require tests because <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Servo media has a plugin called
ServoSrcwhich conflicts with the one inports/gstplugin. https://github.com/servo/media/blob/1e527446cf57f5a8773cda1257e46957a295dd9c/backends/gstreamer/source.rs#L247-L249