moveit_task_constructor/msgs/msg/TaskDescription.msg
Robert Haschke f8952bb712 introducing process_id
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.
2018-02-04 09:01:40 +01:00

9 lines
162 B
Plaintext

# id of generating process
string process_id
# unique ID of this task
string id
# list of all stages, including the task stage itself
StageDescription[] stages