From 2c253edda9feaede40dd23f8681d6011806b3ef7 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Wed, 27 Feb 2019 17:42:42 +0100 Subject: [PATCH] wm: forward 'buffer_size' argument of shape report session Fixes #3186 --- repos/gems/src/server/wm/report_forwarder.h | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/repos/gems/src/server/wm/report_forwarder.h b/repos/gems/src/server/wm/report_forwarder.h index ce57de6a09..3284aa94c1 100644 --- a/repos/gems/src/server/wm/report_forwarder.h +++ b/repos/gems/src/server/wm/report_forwarder.h @@ -33,8 +33,9 @@ struct Wm::Report_forwarder Genode::Env &_env; Report::Connection _connection; - Session(Genode::Env &env, Genode::Session_label const &label) - : _env(env), _connection(env, label.string()) + Session(Genode::Env &env, Genode::Session_label const &label, + size_t buffer_size) + : _env(env), _connection(env, label.string(), buffer_size) { _env.ep().manage(*this); } ~Session() { _env.ep().dissolve(*this); } @@ -77,7 +78,9 @@ struct Wm::Report_forwarder Session *_create_session(char const *args) override { - return new (md_alloc()) Session(_env, Genode::label_from_args(args)); + return new (md_alloc()) + Session(_env, Genode::label_from_args(args), + Arg_string::find_arg(args, "buffer_size").ulong_value(0)); } void _upgrade_session(Session *session, const char *args) override