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.

This commit is contained in:
Michael Bebenita
2010-08-11 16:08:26 -07:00
parent c56ecc1d56
commit 74e12fcef6
5 changed files with 17 additions and 4 deletions

View File

@@ -142,3 +142,8 @@ bool
circular_buffer::is_empty() {
return _unread == 0;
}
size_t
circular_buffer::size() {
return _unread;
}