From b121212b23043b8164e8069b23c19cda3b6b181f Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Sat, 3 Oct 2015 19:23:32 +0200 Subject: [PATCH] init: improve priority upgrade message Fixes #1731 --- repos/os/include/init/child.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/repos/os/include/init/child.h b/repos/os/include/init/child.h index 30b95c4349..8152fc8319 100644 --- a/repos/os/include/init/child.h +++ b/repos/os/include/init/child.h @@ -67,11 +67,11 @@ namespace Init { priority = -priority; if (priority && (priority >= prio_levels)) { - long new_prio = prio_levels-1; + long new_prio = prio_levels ? prio_levels-1 : 0; char name[Genode::Service::MAX_NAME_LEN]; start_node.attribute("name").value(name, sizeof(name)); - PERR("%s: invalid priority, upgrading from -%ld to -%ld", - name, priority, new_prio); + PWRN("%s: invalid priority, upgrading from %ld to %ld", + name, -priority, -new_prio); return new_prio; }