Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 9e0532d73ce47d54af9248d48caea07df91a1403
https://github.com/WebKit/WebKit/commit/9e0532d73ce47d54af9248d48caea07df91a1403
Author: Youenn Fablet <[email protected]>
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
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
