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

refactor: change agentName field

Browse Source
This commit is contained in:
Sofia Rodrigues
2026-03-03 14:24:46 -03:00
parent a2c5f3c79e
commit 71debba5a2
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/Server/Config.lean
View File

@@ -177,7 +177,7 @@ def toH1Config (config : Config) : Protocol.H1.Config where
maxHeaders := config.maxHeaders
maxHeaderBytes := config.maxHeaderBytes
enableKeepAlive := config.enableKeepAlive
serverName := config.serverName
agentName := config.serverName
maxUriLength := config.maxUriLength
maxStartLineLength := config.maxStartLineLength
maxHeaderNameLength := config.maxHeaderNameLength