Changeset 258883 in webkit

Timestamp:

Mar 23, 2020 3:59:32 PM (4 years ago)

Author:

commit-queue@webkit.org

Message:

[WPE][GTK] Allow distributors to brand user agent
​https://bugs.webkit.org/show_bug.cgi?id=162611

Unreviewed, un-break my previous commit.

Patch by Michael Catanzaro <Michael Catanzaro> on 2020-03-23

• platform/glib/UserAgentGLib.cpp:

(WebCore::standardUserAgent):

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• platform/glib/UserAgentGLib.cpp (modified) (1 diff)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2020-03-23  Michael Catanzaro  <mcatanzaro@gnome.org>
+
+        [WPE][GTK] Allow distributors to brand user agent
+        https://bugs.webkit.org/show_bug.cgi?id=162611
+
+        Unreviewed, un-break my previous commit.
+
+        * platform/glib/UserAgentGLib.cpp:
+        (WebCore::standardUserAgent):
+
 2020-03-23  Simon Fraser  <simon.fraser@apple.com>
 

trunk/Source/WebCore/platform/glib/UserAgentGLib.cpp

@@ -153 +153 @@
         checked = true;
     }
-    ASSERT(isValidUserAgentHeaderValue(userAgent);
+    ASSERT(isValidUserAgentHeaderValue(userAgent));
     return userAgent;
 }