From 12127a7bd258db61a4675481148d0ced7fd02a65 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Wed, 5 Jun 2019 16:00:52 +0200
Subject: [PATCH] Construct Terminal_session within with_libc

The "pipe" procedure can only be safely called within with_libc.

Fix #3408
---
 repos/gems/src/server/ssh_terminal/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/src/server/ssh_terminal/main.cc b/repos/gems/src/server/ssh_terminal/main.cc
index fcc58417a4..c8faafd6e5 100644
--- a/repos/gems/src/server/ssh_terminal/main.cc
+++ b/repos/gems/src/server/ssh_terminal/main.cc
@@ -1513,7 +1513,7 @@ class Terminal::Root_component : public Genode::Root_component<Session_component
 				});
 
 				try {
-					_server.attach_terminal(*s);
+					Libc::with_libc([&] () { _server.attach_terminal(*s); });
 					return s;
 				} catch (...) {
 					Genode::destroy(md_alloc(), s);