Merge pull request #5982 from urbit/m/eyre-head-down

eyre: look for lowercase last-event-id header
This commit is contained in:
fang 2022-09-15 22:22:32 +02:00 committed by GitHub
commit 16f78af00a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1228,7 +1228,7 @@
:: the request may include a 'Last-Event-Id' header
::
=/ maybe-last-event-id=(unit @ud)
?~ maybe-raw-header=(get-header:http 'Last-Event-ID' header-list.request)
?~ maybe-raw-header=(get-header:http 'last-event-id' header-list.request)
~
(rush u.maybe-raw-header dum:ag)
:: flush events older than the passed in 'Last-Event-ID'