diff options
| author | Rob Arnold <robarnold@cs.cmu.edu> | 2011-06-30 08:29:35 -0700 |
|---|---|---|
| committer | Eric Holk <eholk@mozilla.com> | 2011-07-01 16:59:10 -0700 |
| commit | 73cc624e8e326f54eb0ea8bff70388d62dccd3cb (patch) | |
| tree | d0623428177fdc2f305e749eab9b03a80459d8d9 /src/rt/rust_kernel.cpp | |
| parent | 09921cf86f156208741243a7e0ea55b88155ec72 (diff) | |
| download | rust-73cc624e8e326f54eb0ea8bff70388d62dccd3cb.tar.gz rust-73cc624e8e326f54eb0ea8bff70388d62dccd3cb.zip | |
Move the channel destroy code into rust_chan.
This lets native code more easily destroy channels since directly deleting a channel is not always the right way to destroy it.
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions
