From 6399fc12acf0a275cdffb7f1298ac5d776a51a7b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 1 Jul 2019 16:05:09 +0200
Subject: [PATCH] clipboard: allow for dynamic reconfiguration

---
 repos/os/src/server/clipboard/main.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/src/server/clipboard/main.cc b/repos/os/src/server/clipboard/main.cc
index 30b00d07d..0f272bf5f 100644
--- a/repos/os/src/server/clipboard/main.cc
+++ b/repos/os/src/server/clipboard/main.cc
@@ -263,6 +263,7 @@ struct Clipboard::Main : Rom::Module::Read_policy, Rom::Module::Write_policy
 
 	Main(Genode::Env &env) : _env(env)
 	{
+		_config.sigh(_config_handler);
 		_handle_config();
 		_focus_ds.sigh(_focus_handler);