]> git.lizzy.rs Git - rust.git/commit
Be more defensive in pipes (#3098)
authorEric Holk <eric.holk@gmail.com>
Fri, 3 Aug 2012 18:43:10 +0000 (11:43 -0700)
committerEric Holk <eric.holk@gmail.com>
Fri, 3 Aug 2012 19:04:18 +0000 (12:04 -0700)
commit01ca0d1f680cf5aab5d1a81fea9de56d591f6658
tree7d35cad7d5865a16d912e14c6539f59bfe501532
parent9e689666110e459e63f5bf4b64011fc81cc7fca2
Be more defensive in pipes (#3098)
src/libcore/option.rs
src/libcore/pipes.rs
src/rt/rust_task.cpp