[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