diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-05-15 14:03:59 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-05-15 16:13:42 -0700 |
| commit | 5d625af9f944c7b6567c443a6f796e30dbb01bf2 (patch) | |
| tree | 469e7cf76a36fa85f92c37f632e0a3fe4e42c7bc /src/rustc/metadata | |
| parent | c424b7f847bbec50d01b00a89e044d80b8eb59f8 (diff) | |
| download | rust-5d625af9f944c7b6567c443a6f796e30dbb01bf2.tar.gz rust-5d625af9f944c7b6567c443a6f796e30dbb01bf2.zip | |
rt: Make task killing synchronization possibly more correct
I could not come up with a test but this looks better to me.
Diffstat (limited to 'src/rustc/metadata')
0 files changed, 0 insertions, 0 deletions