[Webkit-unassigned] [Bug 192530] [GStreamer] HTMLMediaElement::m_player->paused is always true while video is playing

[bugzilla-daemon at webkit.org]

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

--- Comment #7 from Philippe Normand <pnormand at igalia.com> ---
I can't reproduce this issue.

diff --git a/Source/WebCore/html/HTMLMediaElement.cpp b/Source/WebCore/html/HTMLMediaElement.cpp
index 88eae188a0e..8d2f2d18379 100644
--- a/Source/WebCore/html/HTMLMediaElement.cpp
+++ b/Source/WebCore/html/HTMLMediaElement.cpp
@@ -6896,6 +6896,7 @@ HTMLMediaElement::SleepType HTMLMediaElement::shouldDisableSleep() const
 #if !PLATFORM(COCOA) && !PLATFORM(GTK) && !PLATFORM(WPE)
     return SleepType::None;
 #endif
+    WTFLogAlways("paused: %d", m_player->paused());
     if (!m_player || m_player->paused() || loop())
         return SleepType::None;


$ run-minibrowser --gtk https://www.w3schools.com/html/html5_video.asp
paused: 1
paused: 1
paused: 1
paused: 1
paused: 1
paused: 1

# ^ this is expected because autoplay is disabled for this element
# now let's press play.


paused: 0
paused: 0
# Playback about to end
paused: 1
paused: 1
# Done...

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20190215/1a55f682/attachment.html>