From 74e12fcef682acdbec6c3f4a3fb29b7583e7d1b6 Mon Sep 17 00:00:00 2001 From: Michael Bebenita Date: Wed, 11 Aug 2010 16:08:26 -0700 Subject: 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. --- src/rt/circular_buffer.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/rt/circular_buffer.cpp') diff --git a/src/rt/circular_buffer.cpp b/src/rt/circular_buffer.cpp index dbf5059b..caa95359 100644 --- a/src/rt/circular_buffer.cpp +++ b/src/rt/circular_buffer.cpp @@ -142,3 +142,8 @@ bool circular_buffer::is_empty() { return _unread == 0; } + +size_t +circular_buffer::size() { + return _unread; +} -- cgit v1.2.3