[webkit-changes] [WebKit/WebKit] 9e0532: MediaPlayerPrivate resource owner is not always co...

youennf noreply at github.com
Mon Jul 10 05:57:12 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 9e0532d73ce47d54af9248d48caea07df91a1403
      https://github.com/WebKit/WebKit/commit/9e0532d73ce47d54af9248d48caea07df91a1403
  Author: Youenn Fablet <youennf at gmail.com>
  Date:   2023-07-10 (Mon, 10 Jul 2023)

  Changed paths:
    M Source/WebCore/platform/graphics/MediaPlayer.cpp
    M Source/WebCore/platform/graphics/MediaPlayer.h
    M Source/WebKit/GPUProcess/media/RemoteMediaPlayerProxy.cpp

  Log Message:
  -----------
  MediaPlayerPrivate resource owner is not always correctly set through RemoteMediaPlayerProxy
https://bugs.webkit.org/show_bug.cgi?id=258977
rdar://111908366

Reviewed by Eric Carlson.

When loading a URL, the MediaPlayerPrivate may change and we should reset the resource owner.
Update MediaPlayer to do this handling and update RemoteMediaPlayerProxy::RemoteMediaPlayerProxy accordingly.

* Source/WebCore/platform/graphics/MediaPlayer.cpp:
(WebCore::MediaPlayer::loadWithNextMediaEngine):
(WebCore::MediaPlayer::setResourceOwner):
* Source/WebCore/platform/graphics/MediaPlayer.h:
* Source/WebKit/GPUProcess/media/RemoteMediaPlayerProxy.cpp:
(WebKit::RemoteMediaPlayerProxy::RemoteMediaPlayerProxy):

Canonical link: https://commits.webkit.org/265901@main




More information about the webkit-changes mailing list