From 20c9b0232695f2b8dab98d301f521ee5d49302da Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 28 Jan 2016 08:53:03 +0100
Subject: [PATCH] Mark Server::Entrypoint noncopyable

---
 repos/gems/src/app/launcher/main.cc | 2 +-
 repos/gems/src/server/wm/main.cc    | 2 +-
 repos/os/include/os/server.h        | 4 +++-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/repos/gems/src/app/launcher/main.cc b/repos/gems/src/app/launcher/main.cc
index 920c02db5..fbb47b2a7 100644
--- a/repos/gems/src/app/launcher/main.cc
+++ b/repos/gems/src/app/launcher/main.cc
@@ -28,7 +28,7 @@ namespace Launcher { struct Main; }
 
 struct Launcher::Main
 {
-	Server::Entrypoint _ep;
+	Server::Entrypoint &_ep;
 
 	Genode::Cap_connection _cap;
 
diff --git a/repos/gems/src/server/wm/main.cc b/repos/gems/src/server/wm/main.cc
index 518a222f1..b9d81922b 100644
--- a/repos/gems/src/server/wm/main.cc
+++ b/repos/gems/src/server/wm/main.cc
@@ -38,7 +38,7 @@ namespace Wm {
 
 struct Wm::Main
 {
-	Server::Entrypoint ep;
+	Server::Entrypoint &ep;
 
 	Genode::Cap_connection cap;
 
diff --git a/repos/os/include/os/server.h b/repos/os/include/os/server.h
index d412c60ca..bd9e24f64 100644
--- a/repos/os/include/os/server.h
+++ b/repos/os/include/os/server.h
@@ -15,6 +15,8 @@
 #define _INCLUDE__OS__SERVER_H_
 
 #include <os/signal_rpc_dispatcher.h>
+#include <util/noncopyable.h>
+
 
 namespace Server {
 
@@ -37,7 +39,7 @@ namespace Server {
 }
 
 
-class Server::Entrypoint
+class Server::Entrypoint : Genode::Noncopyable
 {
 	private: