[Webkit-unassigned] [Bug 36007] New: [GStreamer] progressTimer never stopped after EOS

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=36007

           Summary: [GStreamer] progressTimer never stopped after EOS
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: PC
        OS/Version: Mac OS X 10.5
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: pnormand at igalia.com


The HTMLMediaElement progressTimer is not stopped after media playback ended. I
think this is because we pause the pipeline in our didEnd() method, so the
media element thinks the playback is paused, the timer never gets a chance to
stop.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.