mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-11-04 14:49:57 +08:00
The task id was not unique enough to distinguish different tasks. When a task publisher is killed and restarted, it usually comes up with the same task id. However, visualization doesn't notice this change and get confused / crashes when receiving task statistics and solutions.
9 lines
158 B
Plaintext
9 lines
158 B
Plaintext
# id of generating process
|
|
string process_id
|
|
|
|
# unique of this task
|
|
string id
|
|
|
|
# list of all stages, including the task stage itself
|
|
StageStatistics[] stages
|