The Http effect (#57) uses system-default timeouts for network requests. There is no way to set a per-request timeout from Vera code. Long-running or hung requests block WASM execution indefinitely.
Impact
Programs making HTTP requests to slow or unresponsive servers will hang without recourse.
Possible fix
The future <Timeout> effect (#227) would compose naturally with Http:
Alternatively, add a timeout parameter to the operations or an environment-level default.
Related: #57 (Http effect), #227 (timeout/cancellation effects)
The
Httpeffect (#57) uses system-default timeouts for network requests. There is no way to set a per-request timeout from Vera code. Long-running or hung requests block WASM execution indefinitely.Impact
Programs making HTTP requests to slow or unresponsive servers will hang without recourse.
Possible fix
The future
<Timeout>effect (#227) would compose naturally with Http:Alternatively, add a timeout parameter to the operations or an environment-level default.
Related: #57 (Http effect), #227 (timeout/cancellation effects)