RESOLVED FIXED 144353
Replace HTMLMediaElement's seek timer with a task queue. 
https://bugs.webkit.org/show_bug.cgi?id=144353
Summary Replace HTMLMediaElement's seek timer with a task queue.
Jer Noble
Reported 2015-04-28 13:41:53 PDT
Replace HTMLMediaElement's seek timer with a task queue.
Attachments
Patch (14.09 KB, patch)
2015-04-28 13:48 PDT, Jer Noble 		eric.carlson: review+
DetailsFormatted DiffDiff
Patch for landing (16.97 KB, patch)
2015-04-29 09:08 PDT, Jer Noble 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Jer Noble
Comment 1 2015-04-28 13:48:18 PDT
Created attachment 251885 [details] Patch
WebKit Commit Bot
Comment 2 2015-04-28 13:50:17 PDT
Attachment 251885 [details] did not pass style-queue: ERROR: Source/WebCore/html/HTMLMediaElement.cpp:2366: More than one command on the same line [whitespace/newline] [4] Total errors found: 1 in 6 files If any of these errors are false positives, please file a bug against check-webkit-style.
Eric Carlson
Comment 3 2015-04-28 13:56:21 PDT
Comment on attachment 251885 [details] Patch Don't you need to add GenericTaskQueue.* to the other build system?
Jer Noble
Comment 4 2015-04-28 13:59:12 PDT
(In reply to comment #3) > Comment on attachment 251885 [details] > Patch > > Don't you need to add GenericTaskQueue.* to the other build system? Oh, good point.
Jer Noble
Comment 5 2015-04-29 09:08:42 PDT
Created attachment 251956 [details] Patch for landing
Jer Noble
Comment 6 2015-04-29 09:51:26 PDT
Committed r183554: <http://trac.webkit.org/changeset/183554>
Note You need to log in before you can comment on or make changes to this bug.