diff --git a/repos/gems/src/server/wm/decorator_gui.h b/repos/gems/src/server/wm/decorator_gui.h index 3aae43543b..d383ef2c8f 100644 --- a/repos/gems/src/server/wm/decorator_gui.h +++ b/repos/gems/src/server/wm/decorator_gui.h @@ -328,8 +328,7 @@ struct Wm::Decorator_gui_session : Genode::Rpc_object, void upgrade(const char *args) { - size_t const ram_quota = Arg_string::find_arg(args, "ram_quota").ulong_value(0); - _gui_session.upgrade_ram(ram_quota); + _gui_session.upgrade(Genode::session_resources_from_args(args)); } Pointer::Position last_observed_pointer_pos() const diff --git a/repos/gems/src/server/wm/gui.h b/repos/gems/src/server/wm/gui.h index 36a8d51a1d..433139406f 100644 --- a/repos/gems/src/server/wm/gui.h +++ b/repos/gems/src/server/wm/gui.h @@ -813,8 +813,7 @@ class Wm::Gui::Session_component : public Rpc_object, void upgrade(char const *args) { - size_t const ram_quota = Arg_string::find_arg(args, "ram_quota").ulong_value(0); - _session.upgrade_ram(ram_quota); + _session.upgrade(Genode::session_resources_from_args(args)); } void try_to_init_real_child_views()