moveit_task_constructor/core
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
..
demo definition of PropertyInitializerSource moved to Stage 2018-02-04 08:56:11 +01:00
include/moveit/task_constructor Merge branch 'wip-properties' 2018-02-04 08:59:35 +01:00
src introducing process_id 2018-02-04 09:01:40 +01:00
test more unit tests 2018-02-04 08:56:11 +01:00
CMakeLists.txt reduce catkin_lint complains in core 2017-12-08 20:55:30 +01:00
package.xml reduce catkin_lint complains in core 2017-12-08 20:55:30 +01:00