mirror of
https://github.com/urbit/shrub.git
synced 2025-01-02 01:25:55 +03:00
fixes namespacing in http header gates
This commit is contained in:
parent
b551e16c33
commit
84bc3ad4a3
@ -301,8 +301,8 @@
|
||||
:: This adds to the end if it doesn't exist.
|
||||
::
|
||||
++ set-header
|
||||
|= [header=@t value=@t =header-list:http]
|
||||
^- header-list:http
|
||||
|= [header=@t value=@t =header-list]
|
||||
^- ^header-list
|
||||
::
|
||||
?~ header-list
|
||||
:: we didn't encounter the value, add it to the end
|
||||
@ -316,8 +316,8 @@
|
||||
:: +delete-header: removes the first instance of a header from the list
|
||||
::
|
||||
++ delete-header
|
||||
|= [header=@t =header-list:http]
|
||||
^- header-list:http
|
||||
|= [header=@t =header-list]
|
||||
^- ^header-list
|
||||
::
|
||||
?~ header-list
|
||||
~
|
||||
|
Loading…
Reference in New Issue
Block a user