RESOLVED FIXED 202977
Move headers to keep from a HTTPHeaderNameSet to an OptionSet 
https://bugs.webkit.org/show_bug.cgi?id=202977
Summary Move headers to keep from a HTTPHeaderNameSet to an OptionSet
youenn fablet
Reported 2019-10-15 01:07:36 PDT
Move headers to keep from a HTTPHeaderNameSet to an OptionSet. This is more efficient.
Attachments
Patch (8.82 KB, patch)
2019-10-15 01:10 PDT, youenn fablet 		no flags
DetailsFormatted DiffDiff
Patch (8.82 KB, patch)
2019-10-15 04:34 PDT, youenn fablet 		no flags
DetailsFormatted DiffDiff
Show Obsolete (1) View All Add attachment proposed patch, testcase, etc.
youenn fablet
Comment 1 2019-10-15 01:10:51 PDT
Created attachment 380967 [details] Patch
youenn fablet
Comment 2 2019-10-15 04:34:06 PDT
Created attachment 380977 [details] Patch
WebKit Commit Bot
Comment 3 2019-10-15 13:53:37 PDT
The commit-queue encountered the following flaky tests while processing attachment 380977 [details]: imported/w3c/web-platform-tests/websockets/bufferedAmount-unchanged-by-sync-xhr.any.worker.html bug 202003 (author: youennf@gmail.com) The commit-queue is continuing to process your patch.
WebKit Commit Bot
Comment 4 2019-10-15 13:54:30 PDT
Comment on attachment 380977 [details] Patch Clearing flags on attachment: 380977 Committed r251155: <https://trac.webkit.org/changeset/251155>
WebKit Commit Bot
Comment 5 2019-10-15 13:54:31 PDT
All reviewed patches have been landed. Closing bug.
Ling Ho
Comment 6 2019-10-15 15:29:57 PDT
<rdar://problem/56306776>
Note You need to log in before you can comment on or make changes to this bug.