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

Add select2 for pipes::port #2898

Closed
eholk opened this issue Jul 13, 2012 · 2 comments
Closed

Add select2 for pipes::port #2898

eholk opened this issue Jul 13, 2012 · 2 comments
Labels
A-concurrency Area: Concurrency

Comments

@eholk
Copy link
Contributor

eholk commented Jul 13, 2012

This would be nice in servo.

@ghost ghost assigned eholk Jul 13, 2012
@eholk
Copy link
Contributor Author

eholk commented Jul 25, 2012

There is enough stuff in the library to do this now, although we could probably make it nicer, for example...

(p1, p2).select()

We could do this with a select for select2 trait.

@eholk
Copy link
Contributor Author

eholk commented Jul 25, 2012

This one is probably also related to #1255.

@eholk eholk closed this as completed in 62d4f8f Jul 25, 2012
@eholk eholk removed their assignment Jun 16, 2014
RalfJung pushed a commit to RalfJung/rust that referenced this issue May 23, 2023
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
Update Rust toolchain from nightly-2023-11-27 to nightly-2023-11-28
without any other source changes.
This is an automatically generated pull request. If any of the CI checks
fail, manual intervention is required. In such a case, review the
changes at https://github.com/rust-lang/rust from
rust-lang@6cf0888
up to
rust-lang@49b3924.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-concurrency Area: Concurrency
Projects
None yet
Development

No branches or pull requests

1 participant