GP-5090 Corrected FileDataTypeManager.close() issue

This commit is contained in:
ghidra1 2024-11-01 15:00:13 -04:00
parent 31cd80b647
commit 8afb1e2c69

View file

@ -288,12 +288,12 @@ public class FileDataTypeManager extends StandAloneDataTypeManager
} }
@Override @Override
public void close() { public synchronized void close() {
if (packedDB != null) { if (packedDB != null) {
super.close();
packedDB.dispose(); packedDB.dispose();
packedDB = null; packedDB = null;
} }
super.close();
} }
public boolean isClosed() { public boolean isClosed() {