Enable re-use of singleton, but closed IRQ session

Fix #784
2013-06-26 14:25:45 +02:00
parent 664d0036c8
commit 770157fea0
2 changed files with 9 additions and 5 deletions
--- a/base/src/core/include/irq_proxy.h
+++ b/base/src/core/include/irq_proxy.h
@@ -196,6 +196,12 @@ class Genode::Irq_proxy : public THREAD,
 			return true;
 		}

+		virtual void remove_sharer()
+		{
+			Lock::Guard lock_guard(_mutex);
+			--_num_sharers;
+		}
+
 		template <typename PROXY>
 		static PROXY *get_irq_proxy(long irq_number, Range_allocator *irq_alloc = 0)
 		{