shorten task id if Task object has no name

v4hn · v4hn · commit 9f07cf5e97c9 · 2020-06-11T11:03:50.000+02:00
diff --git a/visualization/motion_planning_tasks/src/task_display.cpp b/visualization/motion_planning_tasks/src/task_display.cpp
@@ -189,7 +189,12 @@ void TaskDisplay::changedRobotDescription() {
 }
 
 inline std::string getUniqueId(const std::string& process_id, const std::string& task_id) {
-	return process_id + "/" + task_id;
+	std::string id{ process_id };
+	if (!task_id.empty()) {
+		id += "/";
+		id += task_id;
+	}
+	return id;
 }
 
 void TaskDisplay::taskDescriptionCB(const moveit_task_constructor_msgs::TaskDescriptionConstPtr& msg) {

Original file line number	Diff line number	Diff line change
`@@ -189,7 +189,12 @@ void TaskDisplay::changedRobotDescription() {`
`189`	`189`	`}`
`190`	`190`
`191`	`191`	`inline std::string getUniqueId(const std::string& process_id, const std::string& task_id) {`
`192`		`- return process_id + "/" + task_id;`
	`192`	`+ std::string id{ process_id };`
	`193`	`+ if (!task_id.empty()) {`
	`194`	`+ id += "/";`
	`195`	`+ id += task_id;`
	`196`	`+ }`
	`197`	`+ return id;`
`193`	`198`	`}`
`194`	`199`
`195`	`200`	`void TaskDisplay::taskDescriptionCB(const moveit_task_constructor_msgs::TaskDescriptionConstPtr& msg) {`