Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New async io interfaces #9

Merged
merged 2 commits into from
Dec 2, 2023
Merged

Conversation

TTWNO
Copy link

@TTWNO TTWNO commented Nov 30, 2023

A fix-up of #8

I understand you requested safety comments, however, it appears that safety comments are being generated for parts of the code unchanged by this PR.

@haraldh
Copy link
Owner

haraldh commented Nov 30, 2023

cargo fmt check failed

@haraldh
Copy link
Owner

haraldh commented Nov 30, 2023

I requested source code comments stating, why the unsafe {} sections are actually safe. Like:

  // SAFETY: the following unsafe section is safe, because ....

@haraldh
Copy link
Owner

haraldh commented Nov 30, 2023

@TTWNO
Copy link
Author

TTWNO commented Nov 30, 2023

I requested source code comments stating, why the unsafe {} sections are actually safe.

I understand now.

@TTWNO
Copy link
Author

TTWNO commented Dec 1, 2023

Just checking if there's anything else I need to do to get this merged? Happy to get started on it ASAP :)

@haraldh
Copy link
Owner

haraldh commented Dec 1, 2023

Maybe rebase on the current master and squash some commits

joshtriplett and others added 2 commits December 1, 2023 15:41
…ocket

This allows callers of uds_windows to potentially avoid having to use
the Raw types and traits.

This also allows the use of uds_windows with upcoming changes to
async-io to use AsFd.

Get compiling from old PR; add AsSocket for UnixStream

Cargo format
@TTWNO TTWNO force-pushed the new_async_io_interfaces branch from a223023 to 85e95bc Compare December 1, 2023 22:41
@TTWNO
Copy link
Author

TTWNO commented Dec 1, 2023

Done!

@haraldh haraldh merged commit df87259 into haraldh:master Dec 2, 2023
1 check passed
@haraldh
Copy link
Owner

haraldh commented Dec 2, 2023

Thanks!

@haraldh
Copy link
Owner

haraldh commented Dec 14, 2023

released 1.1.0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants