Stream: git-wasmtime

Topic: wasmtime / PR #1958 Add FD_READ and FD_SEEK to dir handles

Wasmtime GitHub notifications bot (Jul 01 2020 at 18:26):

kubkon opened PR #1958 from dir_fd_read to main:

This commit adds FD_READ and FD_SEEK rights to dir handles. This way
we allow the user to open a directory with those rights (perhaps by mistake)
but we throw EISDIR when the user attemps to call fd_read or fd_pread
on the obtained handle. This matches the expected behaviour one would expect
in POSIX and related.

Closes #1935

Wasmtime GitHub notifications bot (Jul 01 2020 at 18:37):

pchickey submitted PR Review.

Wasmtime GitHub notifications bot (Jul 01 2020 at 20:38):

kubkon updated PR #1958 from dir_fd_read to main:

This commit adds FD_READ and FD_SEEK rights to dir handles. This way
we allow the user to open a directory with those rights (perhaps by mistake)
but we throw EISDIR when the user attemps to call fd_read or fd_pread
on the obtained handle. This matches the expected behaviour one would expect
in POSIX and related.

Closes #1935

Wasmtime GitHub notifications bot (Sep 15 2020 at 08:02):

kubkon closed without merge PR #1958.

Last updated: Nov 22 2024 at 16:03 UTC