Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix HTMLMediaElement seek race condition #23853

Merged
merged 3 commits into from Aug 14, 2019
Merged

Conversation

@ferjm
Copy link
Member

ferjm commented Jul 25, 2019

  • ./mach build -d does not report any errors
  • ./mach test-tidy does not report any errors
  • These changes fix #___ (GitHub issue number if applicable)

This depends on servo/media#289 and it's blocked by the servo-media update issue mentioned here


This change is Reviewable

@highfive
Copy link

highfive commented Jul 25, 2019

Heads up! This PR modifies the following files:

  • @asajeffrey: components/script/dom/htmlmediaelement.rs
  • @KiChjang: components/script/dom/htmlmediaelement.rs
@highfive
Copy link

highfive commented Jul 25, 2019

warning Warning warning

  • These commits modify script code, but no tests are modified. Please consider adding a test!
@ferjm ferjm force-pushed the ferjm:media.update branch from 6260fd0 to 9ad66b6 Aug 12, 2019
@ferjm
Copy link
Member Author

ferjm commented Aug 13, 2019

@SimonSapin does the last commit ignoring the duplicated url crate and a couple of its dependencies look ok to you?

@ferjm
Copy link
Member Author

ferjm commented Aug 13, 2019

@bors-servo try=wpt

@bors-servo
Copy link
Contributor

bors-servo commented Aug 13, 2019

Trying commit 1fbb3b3 with merge 72bc245...

bors-servo added a commit that referenced this pull request Aug 13, 2019
[WIP] Fix HTMLMediaElement seek race condition

- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)

This depends on servo/media#289 and it's blocked by the servo-media update issue mentioned [here](#23842 (comment))

<!-- 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/23853)
<!-- Reviewable:end -->
@ferjm
Copy link
Member Author

ferjm commented Aug 13, 2019

r? @ceyusa

@highfive highfive assigned ceyusa and unassigned nox Aug 13, 2019
@ferjm ferjm changed the title [WIP] Fix HTMLMediaElement seek race condition Fix HTMLMediaElement seek race condition Aug 13, 2019
@bors-servo
Copy link
Contributor

bors-servo commented Aug 13, 2019

☀️ Test successful - linux-rel-css, linux-rel-wpt, status-taskcluster
State: approved= try=True

@ceyusa
Copy link
Collaborator

ceyusa commented Aug 13, 2019

r+

@nox
Copy link
Member

nox commented Aug 13, 2019

@bors-servo r=ceyusa

@bors-servo
Copy link
Contributor

bors-servo commented Aug 13, 2019

📌 Commit 1fbb3b3 has been approved by ceyusa

@bors-servo
Copy link
Contributor

bors-servo commented Aug 13, 2019

Testing commit 1fbb3b3 with merge e10efb2...

bors-servo added a commit that referenced this pull request Aug 13, 2019
Fix HTMLMediaElement seek race condition

- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)

This depends on servo/media#289 and it's blocked by the servo-media update issue mentioned [here](#23842 (comment))

<!-- 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/23853)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented Aug 13, 2019

💔 Test failed - status-taskcluster

@ferjm
Copy link
Member Author

ferjm commented Aug 14, 2019

@bors-servo retry

@bors-servo
Copy link
Contributor

bors-servo commented Aug 14, 2019

Testing commit 1fbb3b3 with merge d7433c9...

bors-servo added a commit that referenced this pull request Aug 14, 2019
Fix HTMLMediaElement seek race condition

- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)

This depends on servo/media#289 and it's blocked by the servo-media update issue mentioned [here](#23842 (comment))

<!-- 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/23853)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented Aug 14, 2019

☀️ Test successful - linux-rel-css, linux-rel-wpt, status-taskcluster
Approved by: ceyusa
Pushing d7433c9 to master...

@bors-servo bors-servo merged commit 1fbb3b3 into servo:master Aug 14, 2019
3 checks passed
3 checks passed
Taskcluster (pull_request) TaskGroup: success
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
homu Test successful
Details
@atouchet atouchet mentioned this pull request Aug 15, 2019
6 of 9 tasks complete
@ferjm ferjm deleted the ferjm:media.update branch Apr 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

5 participants
You can’t perform that action at this time.