ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Make quota-upgrading message more clear 

Fixes #592
This commit is contained in:
Norman Feske 2012-12-22 13:04:04 +01:00
parent e7bdae62ea
commit dfaecfb5ab
5 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
base-hw/src/base/signal/signal.cc
View File

@ -51,7 +51,7 @@ Signal_receiver::Signal_receiver()
PDBG("Failed to alloc signal receiver");
break;
}
PINF("upgrade quota donation for Signal session");
PINF("upgrading quota donation for Signal session");
env()->parent()->upgrade(s->cap(), "ram_quota=4K");
session_upgraded = 1;
}
@ -89,7 +89,7 @@ Signal_context_capability Signal_receiver::manage(Signal_context * const c)
} catch (Signal_session::Out_of_metadata)
{
/* upgrade session quota and try again, but only once */
PINF("upgrade quota donation for Signal session");
PINF("upgrading quota donation for Signal session");
if (session_upgraded) return Signal_context_capability();
env()->parent()->upgrade(s->cap(), "ram_quota=4K");
session_upgraded = 1;

2
base-linux/include/base/platform_env.h
View File

@ -304,7 +304,7 @@ namespace Genode {
if (try_again)
break;
PINF("upgrade quota donation for Env::RAM session");
PINF("upgrading quota donation for Env::RAM session");
env()->parent()->upgrade(_cap, "ram_quota=8K");
try_again = true;
}

8
base/include/base/platform_env.h
View File

@ -63,7 +63,7 @@ namespace Genode {
if (try_again)
break;
PINF("upgrade quota donation for Env::RM session");
PINF("upgrading quota donation for Env::RM session");
env()->parent()->upgrade(_cap, "ram_quota=8K");
try_again = true;
}
@ -84,7 +84,7 @@ namespace Genode {
if (try_again)
break;
PINF("upgrade quota donation for Env::RM session");
PINF("upgrading quota donation for Env::RM session");
env()->parent()->upgrade(_cap, "ram_quota=8K");
try_again = true;
}
@ -115,7 +115,7 @@ namespace Genode {
if (try_again)
break;
PINF("upgrade quota donation for Env::RAM session");
PINF("upgrading quota donation for Env::RAM session");
env()->parent()->upgrade(_cap, "ram_quota=8K");
try_again = true;
}
@ -145,7 +145,7 @@ namespace Genode {
if (try_again)
break;
PINF("upgrade quota donation for Env::CPU session");
PINF("upgrading quota donation for Env::CPU session");
env()->parent()->upgrade(_cap, "ram_quota=8K");
try_again = true;
}

2
base/src/base/signal/signal.cc
View File

@ -253,7 +253,7 @@ Signal_context_capability Signal_receiver::manage(Signal_context *context)
if (try_again)
break;
PINF("upgrade quota donation for SIGNAL session");
PINF("upgrading quota donation for SIGNAL session");
env()->parent()->upgrade(signal_connection()->cap(), "ram_quota=4K");
try_again = true;
}

2
os/src/server/iso9660/main.cc
View File

@ -132,7 +132,7 @@ namespace Iso {
if (try_again)
break;
PINF("upgrade quota donation for RM session");
PINF("upgrading quota donation for RM session");
Genode::env()->parent()->upgrade(_rm->cap(), "ram_quota=32K");
try_again = true;
}