From 3ec96ab08080f87e717f2136d79daff6d1cdf212 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 4 Jun 2018 13:50:08 +0200
Subject: [PATCH] sculpt: avoid excess quota for sculpt manager

The sculpt manager wrongly paid for the nitpicker session of the fader
out of its own pocket. This patch reduces the quota transfer to the
amount provided the fader.
---
 repos/gems/run/sculpt/leitzentrale.config      |  6 +++---
 repos/gems/src/app/sculpt_manager/nitpicker.cc | 10 ++++++++--
 2 files changed, 11 insertions(+), 5 deletions(-)

diff --git a/repos/gems/run/sculpt/leitzentrale.config b/repos/gems/run/sculpt/leitzentrale.config
index 9857321efe..cded9e45bb 100644
--- a/repos/gems/run/sculpt/leitzentrale.config
+++ b/repos/gems/run/sculpt/leitzentrale.config
@@ -155,7 +155,7 @@
 
 			<start name="config_fs_report">
 				<binary name="fs_report"/>
-				<resource name="RAM" quantum="1M"/>
+				<resource name="RAM" quantum="2M"/>
 				<provides> <service name="Report"/> </provides>
 				<config> <vfs> <fs/> </vfs> </config>
 				<route>
@@ -166,7 +166,7 @@
 
 			<start name="manager" caps="200">
 				<binary name="sculpt_manager"/>
-				<resource name="RAM" quantum="16M"/>
+				<resource name="RAM" quantum="3M"/>
 				<provides> <service name="Nitpicker"/> </provides>
 				<config/>
 				<route>
@@ -251,7 +251,7 @@
 
 			<start name="log_noux" caps="200">
 				<binary name="noux"/>
-				<resource name="RAM" quantum="24M" />
+				<resource name="RAM" quantum="8M" />
 				<config>
 					<fstab>
 						<tar name="coreutils-minimal.tar" />
diff --git a/repos/gems/src/app/sculpt_manager/nitpicker.cc b/repos/gems/src/app/sculpt_manager/nitpicker.cc
index bc95015af1..983539495b 100644
--- a/repos/gems/src/app/sculpt_manager/nitpicker.cc
+++ b/repos/gems/src/app/sculpt_manager/nitpicker.cc
@@ -92,8 +92,14 @@ struct Nitpicker::Session_component : Rpc_object<Nitpicker::Session>
 	void mode_sigh(Signal_context_capability sigh) override {
 		_connection.mode_sigh(sigh); }
 
-	void buffer(Framebuffer::Mode mode, bool use_alpha) override {
-		_connection.buffer(mode, use_alpha); }
+	void buffer(Framebuffer::Mode mode, bool use_alpha) override
+	{
+		/*
+		 * Do not call 'Connection::buffer' to avoid paying session quota
+		 * from our own budget.
+		 */
+		_connection.Client::buffer(mode, use_alpha);
+	}
 
 	void focus(Capability<Nitpicker::Session> session) override {
 		_connection.focus(session); }