Add new method to reload options file

dgault · Oct 26, 2023 · f51ae44 · f51ae44
1 parent 12617b8
commit f51ae44
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/loci/formats/in/ZarrReader.java b/src/loci/formats/in/ZarrReader.java
@@ -1177,4 +1177,18 @@ private boolean systemEnvListPixels() {
     if (value != null &&  value.toLowerCase().equals("false")) return false;
     return LIST_PIXELS_DEFAULT;
   }
+
+  private void reloadOptionsFile(String id) {
+    String optionsFile = DynamicMetadataOptions.getMetadataOptionsFile(id);
+    if (optionsFile != null) {
+      MetadataOptions options = getMetadataOptions();
+      if (options != null && options instanceof DynamicMetadataOptions) {
+        try {
+          ((DynamicMetadataOptions) options).loadOptions(optionsFile, getAvailableOptions());
+        } catch (Exception e) {
+          LOGGER.warn("Exception while attempting to read metadata options file", e);
+        }
+      }
+    }
+  }
 }