Stream: git-wasmtime

Topic: wasmtime / issue #7275 wasi-http: make methods that read ...

Wasmtime GitHub notifications bot (Oct 17 2023 at 22:52):

elliottt opened issue #7275.

Wasmtime GitHub notifications bot (Oct 17 2023 at 22:52):

elliottt assigned issue #7275 to elliottt.

Wasmtime GitHub notifications bot (Oct 17 2023 at 22:54):

elliottt edited issue #7275:

Currently the get method on future-trailers returns option<result<trailers, error>>, where reading no trailers in a request is indicated by the trailers result being empty. We should instead return option<result<option<trailers>, error>> so that we can indicate success, with no trailers.

Wasmtime GitHub notifications bot (Oct 26 2023 at 17:13):

elliottt closed issue #7275:

Currently the get method on future-trailers returns option<result<trailers, error>>, where reading no trailers in a request is indicated by the trailers result being empty. We should instead return option<result<option<trailers>, error>> so that we can indicate success, with no trailers.

Last updated: Nov 22 2024 at 17:03 UTC