mozilla/rust — pull request #13512 by alexcrichton (2014-04-14 14:14:30+00:00)
Title: native: Fix a race in select()

I also did a few small cleanups along the way (separated by commit)