diff options
| author | Michael Bebenita <[email protected]> | 2010-08-11 16:08:26 -0700 |
|---|---|---|
| committer | Michael Bebenita <[email protected]> | 2010-08-11 16:08:45 -0700 |
| commit | 74e12fcef682acdbec6c3f4a3fb29b7583e7d1b6 (patch) | |
| tree | 73abc23ff1587457b10279bc79d879d2e620f0be /src/rt/rust_internal.h | |
| parent | Added a -v(algrind) option to run.py. (diff) | |
| download | rust-74e12fcef682acdbec6c3f4a3fb29b7583e7d1b6.tar.xz rust-74e12fcef682acdbec6c3f4a3fb29b7583e7d1b6.zip | |
Ignore upcall_flush for channels that are disassociated from ports. This makes task-comm-10 break a little less hard, but it still leaks because messages pending in the channel are never freed.
Diffstat (limited to 'src/rt/rust_internal.h')
0 files changed, 0 insertions, 0 deletions