From 191cba4208472c2c3d8028b19fcce752a15ada1c Mon Sep 17 00:00:00 2001
From: Moritz Gleissner <ughlu@student.kit.edu>
Date: Fri, 15 Nov 2024 16:36:41 +0100
Subject: [PATCH] hotfix(profiles): no more cut of profiles
---
armarx_skills/manager/skill_manager.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/armarx_skills/manager/skill_manager.py b/armarx_skills/manager/skill_manager.py
index f6414593..06c8440f 100644
--- a/armarx_skills/manager/skill_manager.py
+++ b/armarx_skills/manager/skill_manager.py
@@ -267,10 +267,11 @@ class SkillManager:
# sort profiles by dependencies
save_break = 0
+ prof_len = len(profiles)
sorted_profiles = []
while len(profiles) > 0:
# save break with pover of 2
- if save_break == 2 ** len(profiles):
+ if save_break == 2 ** prof_len:
break
for p in profiles:
if p.parentId is None or p.parentId.id in [
--
GitLab