handle dictionary file replacement (fixes #186)

itkach · Jul 8, 2024 · 3db51b8 · 3db51b8 · soshial · Jul 9, 2024
1 parent 7c95f15
commit 3db51b8
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/itkach/aard2/Application.java b/src/itkach/aard2/Application.java
@@ -142,8 +142,17 @@ synchronized public void onChanged() {
                 slobber.setSlobs(null);
                 List<Slob> slobs = new ArrayList<Slob>();
                 for (SlobDescriptor sd : dictionaries) {
+                    String origSlobId = sd.id;
                     Slob s = sd.load(getApplicationContext());
                     if (s != null) {
+                        if (!origSlobId.equals(sd.id)) {
+                            Log.d(TAG, String.format("%s has been replaced, updating dict store %s -> %s", sd.path, origSlobId, sd.id));
+                            //dictionary file has been replaced
+                            //(same file name, different slob uuid)
+                            //need to update store accordingly
+                            dictStore.delete(origSlobId);
+                            dictStore.save(sd);
+                        }
                         slobs.add(s);
                     }
                 }