diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-07-09 08:22:40 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-09 08:22:40 -0700 |
commit | 8f13bb24f12f21993304713226b39037c5633737 (patch) | |
tree | 20ab2ddc0b92f3859733b2bc5f659fed2d8eb69a /components/script/dom/htmlmediaelement.rs | |
parent | 8cb05a36bc1a20ec6373ddb23ce127c7801ba5d6 (diff) | |
parent | 23ba67662c342bc33fe64be7448b07b9b7287aed (diff) | |
download | servo-8f13bb24f12f21993304713226b39037c5633737.tar.gz servo-8f13bb24f12f21993304713226b39037c5633737.zip |
Auto merge of #12360 - pierre-alain-b:master, r=Wafflespeanut
Add name method for Runnable trait in DedicatedMediaSourceFailureTask…
Add name method for Runnable trait in DedicatedMediaSourceFailureTask.
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #12349.
- [X] These changes do not require tests because it is says so in the issue description.
<!-- 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/12360)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
-rw-r--r-- | components/script/dom/htmlmediaelement.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 877a98311c4..8a0b9f4a709 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -759,6 +759,8 @@ impl ResourceSelectionTask { } impl Runnable for ResourceSelectionTask { + fn name(&self) -> &'static str { "ResourceSelectionTask" } + fn handler(self: Box<ResourceSelectionTask>) { self.elem.root().resource_selection_algorithm_sync(self.base_url); } @@ -777,6 +779,8 @@ impl DedicatedMediaSourceFailureTask { } impl Runnable for DedicatedMediaSourceFailureTask { + fn name(&self) -> &'static str { "DedicatedMediaSourceFailureTask" } + fn handler(self: Box<DedicatedMediaSourceFailureTask>) { self.elem.root().dedicated_media_source_failure(); } |