skill deletion remove skill from memory

source/RobotAPI/libraries/skills/manager/SkillManagerComponentPluginUser.cpp

@@ -447,6 +447,24 @@ namespace armarx
                                                  const Ice::Current& current)
     {
         skills::manager::dto::FluxioIdentificatorList ret;
+        skills::Result<std::experimental::observer_ptr<const skills::FluxioSkill>,
+                       skills::error::FluxioException>
+            res = this->plugin->getSkill(skillId);
+        if (!res.isSuccess())
+        {
+            ARMARX_WARNING << "Error getting skill with id " << skillId;
+            return {};
+        }
+        std::experimental::observer_ptr<const armarx::skills::FluxioSkill> skillptr =
+            res.getResult();
+        std::optional<skills::manager::arondto::FluxioSkill> opt = skillptr->toAronXml();
+        if (!opt.has_value())
+        {
+            ARMARX_WARNING << "Skill with id " << skillId << " could not be converted";
+            return {};
+        }
+        skills::manager::arondto::FluxioSkill skill = opt.value();
+
         auto l = this->plugin->deleteSkill(skillId, userId, dryRun);
 
         if (!l.has_value())
@@ -464,6 +482,12 @@ namespace armarx
             ret.push_back(s->toFluxioIdentificatorIce());
         }
 
+        if (!dryRun)
+        {
+            skill.deleted = true;
+            saveSkill(skill);
+        }
+
         return ret;
     }