⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

wutsocket fixes: select() handles timeout wrong, and poll() lacks a safety check#428

Merged
GaryOderNichts merged 2 commits intodevkitPro:masterfrom
dkosmari:wutsocket-fixes
Oct 10, 2025
Merged

wutsocket fixes: select() handles timeout wrong, and poll() lacks a safety check#428
GaryOderNichts merged 2 commits intodevkitPro:masterfrom
dkosmari:wutsocket-fixes

Commits

Commits on Oct 6, 2025