diff --git a/repos/base/include/base/session_label.h b/repos/base/include/base/session_label.h index 5389661cd3..9256da78eb 100644 --- a/repos/base/include/base/session_label.h +++ b/repos/base/include/base/session_label.h @@ -91,10 +91,10 @@ namespace Genode { inline Session_label prefixed_label(String const &prefix, String const &label) { - if (!prefix.valid()) + if (!prefix.valid() || prefix == "") return Session_label(label.string()); - if (!label.valid()) + if (!label.valid() || label == "") return Session_label(prefix.string()); char buf[Session_label::capacity()];