Stream: git-wasmtime

Topic: wasmtime / issue #7257 wasi-http: Add unique request ids ...

Wasmtime GitHub notifications bot (Oct 16 2023 at 17:44):

elliottt opened issue #7257.

Wasmtime GitHub notifications bot (Oct 16 2023 at 17:45):

elliottt edited issue #7257:

For logging purposes, we'd like to have unique request ids prefixed on each log line in the wasmtime serve command. This would include stdout/stderr from the incoming handler, to make it easier to debug behavior on individual requests.

Wasmtime GitHub notifications bot (Oct 16 2023 at 17:46):

elliottt assigned issue #7257 to elliottt.

Wasmtime GitHub notifications bot (Oct 26 2023 at 00:11):

elliottt closed issue #7257:

For logging purposes, we'd like to have unique request ids prefixed on each log line in the wasmtime serve command. This would include stdout/stderr from the incoming handler, to make it easier to debug behavior on individual requests.

Last updated: Nov 22 2024 at 16:03 UTC