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.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/rt/circular_buffer.h') diff --git a/src/rt/circular_buffer.h b/src/rt/circular_buffer.h index 732ba329..9ddaba42 100644 --- a/src/rt/circular_buffer.h +++ b/src/rt/circular_buffer.h @@ -21,6 +21,7 @@ public: void dequeue(void *dst); uint8_t *peek(); bool is_empty(); + size_t size(); private: // Size of the buffer in bytes, should always be a power of two so that -- cgit v1.2.3