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

doc: Stdin is not writable #32276

Merged
merged 1 commit into from
Mar 24, 2016
Merged

doc: Stdin is not writable #32276

merged 1 commit into from
Mar 24, 2016

Conversation

brson
Copy link
Contributor

@brson brson commented Mar 16, 2016

No description provided.

@rust-highfive
Copy link
Collaborator

r? @aturon

(rust_highfive has picked a reviewer for you, use r? to override)

@@ -141,8 +141,7 @@ fn handle_ebadf<T>(r: io::Result<T>, default: T) -> io::Result<T> {
///
/// Each handle is a shared reference to a global buffer of input data to this
/// process. A handle can be `lock`'d to gain full access to [`BufRead`] methods
/// (e.g. `.lines()`). Writes to this handle are otherwise locked with respect
/// to other writes.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this may have been intended to mention reads, so perhaps it could say "Reads to this handle are otherwise locked with respect to other reads."?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, I agree that this is likely a copy-paste bug.

@brson
Copy link
Contributor Author

brson commented Mar 23, 2016

Updated

@alexcrichton
Copy link
Member

@bors: r+ b013ad5 rollup

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Mar 24, 2016
bors added a commit that referenced this pull request Mar 24, 2016
Rollup of 6 pull requests

- Successful merges: #32276, #32416, #32452, #32459, #32462, #32464
- Failed merges:
@bors bors merged commit b013ad5 into rust-lang:master Mar 24, 2016
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.

5 participants