Skip to content

fix: close idle HTTP server connections after the keep-alive timeout - #15043

Open
counter2015 wants to merge 1 commit into
leanprover:masterfrom
counter2015:fix-http-idle-timeout
Open

fix: close idle HTTP server connections after the keep-alive timeout#15043
counter2015 wants to merge 1 commit into
leanprover:masterfrom
counter2015:fix-http-idle-timeout

Commits

Commits on Sep 5, 2026