Added JSON index for manage identifiers

OpenConext · Nov 23, 2023 · c1bfeac · c1bfeac
1 parent 1e35d9c
commit c1bfeac
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/server/src/main/java/access/config/ApplicationConverter.java b/server/src/main/java/access/config/ApplicationConverter.java
@@ -25,6 +25,7 @@ public String convertToDatabaseColumn(Set<Application> attribute) {
     @SuppressWarnings("unchecked")
     public Set<Application> convertToEntityAttribute(String dbData) {
         Set<Map<String, String>> set = objectMapper.readValue(dbData, Set.class);
-        return set.stream().map(m -> new Application(m.get("manageId"), EntityType.valueOf(m.get("manageType")))).collect(Collectors.toSet());
+        return set.stream().map(m -> new Application(m.get("manageId"), EntityType.valueOf(m.get("manageType"))))
+                .collect(Collectors.toSet());
     }
 }
diff --git a/server/src/main/resources/db/mysql/migration/V13_0__index_roles_manage_identifiers.sql b/server/src/main/resources/db/mysql/migration/V13_0__index_roles_manage_identifiers.sql
@@ -0,0 +1,2 @@
+ALTER TABLE `roles`
+    ADD INDEX roles_manage_identifiers( (CAST(applications->'$[*].manageId' AS char(255) ARRAY)) );
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		ALTER TABLE `roles`
		ADD INDEX roles_manage_identifiers( (CAST(applications->'$[*].manageId' AS char(255) ARRAY)) );