You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Socket stream helpers beyond stream_socket_client() (#3202) are missing. php-src exposes shutdown, peer/name queries, and UDP recv/send helpers on stream resources. HTTP servers, UDP diagnostics, and test harnesses call these directly.
Today function_exists('stream_socket_shutdown') is false on bin/vm.php.
Fix:stream_socket_shutdown() registered on VM — uses shutdown(2) FFI on tracked socket fds (VmSockets::shutdownForFd) with host stream_socket_shutdown() fallback.
Activity
PurHur commentedon Jul 14, 2026
claim: cursor-agent-lane-b — starting this run
Stdlib: stream_socket_shutdown() TCP shutdown via FFI shutdown(2) (#6043
PurHur commentedon Jul 14, 2026
Merged via PR #18777.
Fix:
stream_socket_shutdown()registered on VM — usesshutdown(2)FFI on tracked socket fds (VmSockets::shutdownForFd) with hoststream_socket_shutdown()fallback.Verification (docker-exec):
php bin/vm.php test/compliance/cases/stdlib/stream_socket_shutdown.phpt→1/1/1/1vendor/bin/phpunit --filter stream_socket_shutdown→ OK (2 tests)stream_socket_get_name+stream_socket_shutdown(STREAM_SHUT_RDWR)+feof→true/trueFollow-up (out of scope):
stream_socket_recvfrom/stream_socket_sendtoremain unimplemented; JIT lowering not wired yet.Stdlib: stream_socket_recvfrom() TCP peer receive (#21007) (#21010)
Stdlib: stream_socket_sendto() TCP peer send (#21008) (#21011)