diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-03-25 07:47:06 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-25 07:47:06 -0400 |
| commit | 5ae562bfc3507f12f562dfcb0cecd5ad1ec0fd20 (patch) | |
| tree | 93cd726d39efa4e30caf5bfca37fef5fb96e32c5 /components/script/dom/mod.rs | |
| parent | 40d599e39ffdd627b8912388dc24de77291f700f (diff) | |
| parent | dc41d2fb77e99862701d5b527a32b90163ffdb42 (diff) | |
| download | servo-5ae562bfc3507f12f562dfcb0cecd5ad1ec0fd20.tar.gz servo-5ae562bfc3507f12f562dfcb0cecd5ad1ec0fd20.zip | |
Auto merge of #22944 - ferjm:player.shutdown, r=ceyusa
Shutdown player when HTMLMediaElement is dropped
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #22931
- [X] There are tests for these changes
<!-- 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/22944)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/mod.rs')
0 files changed, 0 insertions, 0 deletions