mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-11-04 14:49:57 +08:00
shorten task id if Task object has no name
This commit is contained in:
parent
ebf7b751d2
commit
9f07cf5e97
@ -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) {
|
||||
|
||||
Loading…
Reference in New Issue
Block a user