Resolve "profile ids should be idempotent" (!493) · Merge requests · Software / ArmarX / RobotAPI · GitLab

Snippets Groups Projects

Merged Julian Tusch requested to merge fluxio/dev-152-profile-ids-should-be-idempotent into fluxio/dev 5 months ago

All threads resolved!

Closes #152 (closed)

Activity

Julian Tusch added feature label 5 months ago

added feature label
Julian Tusch assigned to @urhrf_tusch 5 months ago

assigned to @urhrf_tusch
Julian Tusch added 2 commits 5 months ago
added 2 commits

f8d00b99 - add profile error codes and messages

0cdb140e - naive implementation using parent id and profile name

Compare with previous version
Julian Tusch @urhrf_tusch · 5 months ago

Author Developer

using the profile name as seed is not good enough, because the name of a profile might change.
Moritz Gleissner @ughlu_gleissner started a thread on the diff 5 months ago

Resolved 5 months ago by Julian Tusch
Last reply by Moritz Gleissner 5 months ago

Julian Tusch added 1 commit 5 months ago

added 1 commit

c41c0b67 - improved implementation

Compare with previous version

Julian Tusch requested review from @ughlu_gleissner 5 months ago

requested review from @ughlu_gleissner

Julian Tusch resolved all threads 5 months ago

resolved all threads

Moritz Gleissner marked this merge request as ready 5 months ago

marked this merge request as ready

Moritz Gleissner mentioned in commit 5 months ago

mentioned in commit 285e0d5c

Moritz Gleissner merged 5 months ago

merged

Please register or sign in to reply