libc_terminal plugin: increase stack

Issue #3111
2019-05-06 14:54:59 +02:00 · 2019-05-06 14:54:59 +02:00 · c6ec2c1dd7
parent 92c314d3c8
commit c6ec2c1dd7
1 changed files with 1 additions and 1 deletions
--- a/repos/libports/src/lib/libc_terminal/plugin.cc
+++ b/repos/libports/src/lib/libc_terminal/plugin.cc
@ -35,7 +35,7 @@ extern void (*libc_select_notify)();

 namespace {

-	typedef Genode::Thread_deprecated<4096> Read_sigh_thread;
+	typedef Genode::Thread_deprecated<8192> Read_sigh_thread;


 	/**