[Webkit-unassigned] [Bug 94454] New: media/media-document-audio-repaint.html is racy

[bugzilla-daemon at webkit.org]

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

           Summary: media/media-document-audio-repaint.html is racy
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Media Elements
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: pnormand at igalia.com
                CC: fischman at chromium.org


In the GTK port, sometimes the play event is not catched by the test, playback continues until EOS instead of pausing, doing a seek near the end and ending the test. This triggers a small text diff on the controls:

                        text run at (0,0) width 55: "00:01 / 00:01"

instead of

                        text run at (0,0) width 55: "00:00 / 00:01"

I think we can safely directly pause the media element from the beginning instead of attempting to play the already playing media. What do you think Ami?

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