From 8f849c9438a18c7874b6168359f480fab07651a3 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 28 Oct 2015 16:14:11 +0100
Subject: [PATCH] clipboard: fix session close handling

Fixes #1747
---
 repos/os/src/server/clipboard/main.cc | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/server/clipboard/main.cc b/repos/os/src/server/clipboard/main.cc
index 1ea3f3610e..ca2b3f9282 100644
--- a/repos/os/src/server/clipboard/main.cc
+++ b/repos/os/src/server/clipboard/main.cc
@@ -33,8 +33,16 @@ struct Rom::Registry : Rom::Registry_for_reader, Rom::Registry_for_writer
 	/**
 	 * Rom::Registry_for_writer interface
 	 */
-	Module &lookup(Writer &, Module::Name const &) override { return module; }
-	void release(Writer &, Module &) override { }
+	Module &lookup(Writer &writer, Module::Name const &) override
+	{
+		module._register(writer);
+		return module;
+	}
+
+	void release(Writer &writer, Module &) override
+	{
+		module._unregister(writer);
+	}
 
 	/**
 	 * Rom::Registry_for_reader interface