sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: uri

Browse Source
This commit is contained in:
Sofia Rodrigues
2026-03-13 23:51:00 -03:00
parent 72702c3538
commit 1a270555ae
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/Std/Internal/Http/Protocol/H1.lean
View File

@@ -323,7 +323,7 @@ private def hasSingleAcceptedHostHeader (message : Message.Head .receiving) : Bo
match message.uri with
| .asteriskForm =>
hostValue.value.isEmpty ∨ parsed.isSome
| .absoluteForm { scheme, authority := some authority, .. } _ =>
| .absoluteForm { scheme, authority := some authority, .. } =>
match parsed with
| some hostHeader => hostAuthorityMatches (some scheme) authority hostHeader
| none => false