mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-14 22:47:12 +00:00
parent
9d989b1557
commit
4e4b95bfe3
@ -30,21 +30,13 @@ class Core::Log_session_component : public Rpc_object<Log_session>
|
||||
|
||||
Session_label const _label;
|
||||
|
||||
static Session_label _expand_label(Session_label const &label)
|
||||
{
|
||||
if (label == "init -> unlabeled")
|
||||
return "";
|
||||
else
|
||||
return Session_label("[", label, "] ");
|
||||
}
|
||||
|
||||
public:
|
||||
|
||||
/**
|
||||
* Constructor
|
||||
*/
|
||||
Log_session_component(Session_label const &label)
|
||||
: _label(_expand_label(label)) { }
|
||||
: _label("[", label, "] ") { }
|
||||
|
||||
|
||||
/*****************
|
||||
|
Loading…
x
Reference in New Issue
Block a user