Bug 29604 - HTMLMediaElement: media file should not reloaded when page comes out of page cache
Summary: HTMLMediaElement: media file should not reloaded when page comes out of page ...
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebCore Misc. (show other bugs)
Version: 528+ (Nightly build)
Hardware: All All
: P2 Normal
Assignee: Eric Carlson
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2009-09-21 12:03 PDT by Eric Carlson
Modified: 2009-09-21 13:55 PDT (History)
0 users

See Also:


Attachments
proposed patch (8.06 KB, patch)
2009-09-21 12:13 PDT, Eric Carlson
beidson: review+
Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Eric Carlson 2009-09-21 12:03:40 PDT
Recent changes to WebKit's page cache cause a media element to to always reload when its page comes out of the page cache. According to the spec, an element should only reload when the fetching process is aborted by the user, not when an element has completed loading.
Comment 1 Eric Carlson 2009-09-21 12:04:01 PDT
rdar://7235647
Comment 2 Eric Carlson 2009-09-21 12:13:40 PDT
Created attachment 39864 [details]
proposed patch
Comment 3 Eric Carlson 2009-09-21 13:55:51 PDT
http://trac.webkit.org/changeset/48596