FancyInnovations/FancyPlugins
1
0
Fork 0
mirror of https://github.com/FancyInnovations/FancyPlugins.git synced 2025-12-05 23:33:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

jdb: Fix index not deleting

Browse Source
This commit is contained in:
Oliver
2025-11-20 14:46:16 +01:00
parent 09363fe010
commit c0998aabdb
2 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
libraries/jdb/VERSION
View File

@@ -1 +1 @@
1.0.3 1.0.4

10
libraries/jdb/src/main/java/de/oliver/jdb/JDB.java
View File

@@ -9,6 +9,7 @@ import java.io.File;
import java.io.IOException; import java.io.IOException;
import java.nio.file.Files; import java.nio.file.Files;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.HashSet;
import java.util.List; import java.util.List;
import java.util.Map; import java.util.Map;
@@ -34,7 +35,7 @@ public class JDB {
public JDB(@NotNull String basePath) { public JDB(@NotNull String basePath) {
this.basePath = basePath; this.basePath = basePath;
this.baseDirectory = new File(basePath); this.baseDirectory = new File(basePath);
this.index = JIndex.load("jdb_index", basePath); this.index = JIndex.load("jdb_index", basePath);
} }
@@ -170,7 +171,12 @@ public class JDB {
* @param path the relative path (excluding .json extension) of the document(s) to be deleted * @param path the relative path (excluding .json extension) of the document(s) to be deleted
*/ */
public void delete(@NotNull String path) { public void delete(@NotNull String path) {
index.indexMap().remove(path); for (Map.Entry<String, String> entry : new HashSet<>(index.indexMap().entrySet())) {
if (entry.getKey().equals(path) || entry.getValue().equals(path)) {
index.indexMap().remove(entry.getKey());
index.save();
}
}
File file = new File(baseDirectory, path); File file = new File(baseDirectory, path);
if (file.isDirectory()) { if (file.isDirectory()) {