feat: add configuration for marking resources for reindexing upon search parameter change

This commit is contained in:
Patrick Werner
2025-10-09 13:39:43 +02:00
parent a499603883
commit 401d4f71ef
2 changed files with 12 additions and 0 deletions

View File

@@ -118,6 +118,7 @@ public class AppProperties {
private Map<String, RemoteSystem> remote_terminology_service = null;
private Boolean match_url_cache_enabled = false;
private Boolean index_storage_optimized = false;
private Boolean mark_resources_for_reindexing_upon_search_parameter_change = true;
public List<String> getCustomInterceptorClasses() {
return custom_interceptor_classes;
@@ -785,6 +786,15 @@ public class AppProperties {
index_storage_optimized = theIndex_storage_optimized;
}
public Boolean getMark_resources_for_reindexing_upon_search_parameter_change() {
return mark_resources_for_reindexing_upon_search_parameter_change;
}
public void setMark_resources_for_reindexing_upon_search_parameter_change(
Boolean mark_resources_for_reindexing_upon_search_parameter_change) {
this.mark_resources_for_reindexing_upon_search_parameter_change = mark_resources_for_reindexing_upon_search_parameter_change;
}
public JpaStorageSettings.StoreMetaSourceInformationEnum getStore_meta_source_information() {
return store_meta_source_information;
}