Merge remote-tracking branch 'origin/patch'

This commit is contained in:
ghidra1 2024-11-01 15:05:41 -04:00
commit b6540da30a
4 changed files with 86 additions and 27 deletions

View file

@ -4,9 +4,9 @@
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
*
* http://www.apache.org/licenses/LICENSE-2.0
*
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
@ -288,12 +288,12 @@ public class FileDataTypeManager extends StandAloneDataTypeManager
}
@Override
public void close() {
public synchronized void close() {
if (packedDB != null) {
super.close();
packedDB.dispose();
packedDB = null;
}
super.close();
}
public boolean isClosed() {