From 038fcf032ade6f451305db7ca974d0a0b5bd578e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 10 Dec 2013 15:40:04 +0100
Subject: [PATCH] os: dissolve contexts in Packet_stream

Fixes #1003.
---
 os/include/os/packet_stream.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/os/include/os/packet_stream.h b/os/include/os/packet_stream.h
index c069fab4c..bff78d253 100644
--- a/os/include/os/packet_stream.h
+++ b/os/include/os/packet_stream.h
@@ -239,6 +239,11 @@ class Packet_descriptor_transmitter
 			_tx_queue(tx_queue)
 		{ }
 
+		~Packet_descriptor_transmitter()
+		{
+			_tx_ready.dissolve(&_tx_ready_context);
+		}
+
 		Genode::Signal_context_capability tx_ready_cap()
 		{
 			return _tx_ready_cap;
@@ -310,6 +315,11 @@ class Packet_descriptor_receiver
 			_rx_queue(rx_queue)
 		{ }
 
+		~Packet_descriptor_receiver()
+		{
+			_rx_ready.dissolve(&_rx_ready_context);
+		}
+
 		Genode::Signal_context_capability rx_ready_cap()
 		{
 			return _rx_ready_cap;