commit | 9931da40d2882b5f3a2c2e17bd54ccecee89e86a | [log] [tgz] |
---|---|---|
author | Antonio García-Domínguez <agarcdomi@gmail.com> | Wed Jul 01 17:22:18 2020 +0100 |
committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Wed Jul 01 17:22:18 2020 +0100 |
tree | 6bac39c9be0b0fe3211c00877f9680af7132c565 | |
parent | dd9dd9417bded34bc24510c67f8aa5429cf50201 [diff] |
Greycat: free more memory during shutdown
diff --git a/greycat/org.eclipse.hawk.greycat/src/org/eclipse/hawk/greycat/AbstractGreycatDatabase.java b/greycat/org.eclipse.hawk.greycat/src/org/eclipse/hawk/greycat/AbstractGreycatDatabase.java index d9f783e..fc7ae4a 100644 --- a/greycat/org.eclipse.hawk.greycat/src/org/eclipse/hawk/greycat/AbstractGreycatDatabase.java +++ b/greycat/org.eclipse.hawk.greycat/src/org/eclipse/hawk/greycat/AbstractGreycatDatabase.java
@@ -254,6 +254,19 @@ luceneIndexer.shutdown(); luceneIndexer = null; } + + currentDirtyNodes.clear(); + currentOpenNodes.clear(); + + if (softDeleteIndex != null) { + softDeleteIndex.free(); + softDeleteIndex = null; + } + + if (nodeLabelIndex != null) { + nodeLabelIndex.free(); + nodeLabelIndex = null; + } } public AbstractGreycatDatabase() {