[webkit-changes] [WebKit/WebKit] 24e104: [GStreamer] Switch to disable media disk cache doe...
Xabier Rodríguez
noreply at github.com
Mon Jun 5 12:02:29 PDT 2023
Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 24e104e927001be68da92dc400b0ccff52f4fc49
https://github.com/WebKit/WebKit/commit/24e104e927001be68da92dc400b0ccff52f4fc49
Author: Xabier Rodriguez-Calvar <calvaris at igalia.com>
Date: 2023-06-05 (Mon, 05 Jun 2023)
Changed paths:
M Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp
Log Message:
-----------
[GStreamer] Switch to disable media disk cache does not need trimming
https://bugs.webkit.org/show_bug.cgi?id=257713
Reviewed by Philippe Normand.
In https://github.com/WebKit/WebKit/pull/14233#discussion_r1202406551 a FIXME was added for us to remove trimming as it
is not needed. I just removed that trimming and used a StringView instead of the String.
* Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp:
(WebCore::isMediaDiskCacheDisabled):
Canonical link: https://commits.webkit.org/264871@main
More information about the webkit-changes
mailing list