Add select_timeout for pipes

[steveklabnik]

Issue by eholk
Wednesday Jul 25, 2012 at 22:00 GMT

For earlier discussion, see rust-lang/rust#3016

This issue was labelled with: A-concurrency, A-libs, I-enhancement, P-low in the Rust repository

---

Part of #1255.

This would take a list of selectables, and return an option of which one was ready (possibly going ahead and doing the receive), or none.