mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-21 14:01:44 +07:00
cleanup local tools
This commit is contained in:
@@ -569,6 +569,11 @@ public class InspectionProfileImpl implements InspectionProfile.ModifiableModel,
|
||||
myTools.get(iterator.next()).cleanup();
|
||||
}
|
||||
}
|
||||
if (!myLocalTools.isEmpty()){
|
||||
for (Iterator<String> iterator = myLocalTools.keySet().iterator(); iterator.hasNext();) {
|
||||
myLocalTools.get(iterator.next()).cleanup();
|
||||
}
|
||||
}
|
||||
myTools.clear();
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user