Bug 29604

Summary: HTMLMediaElement: media file should not reloaded when page comes out of page cache
Product: WebKit Reporter: Eric Carlson <eric.carlson>
Component: WebCore Misc.Assignee: Eric Carlson <eric.carlson>
Status: RESOLVED FIXED    
Severity: Normal Keywords: InRadar
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: All   
OS: All   
Attachments:
Description Flags
proposed patch beidson: review+

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