[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