GP-1738 fix to use default value if options type has changed. Blows up

by returning the wrong type otherwise.
This commit is contained in:
emteere 2022-05-09 21:43:53 +00:00 committed by ghidra1
parent 9a3bc197d2
commit 4ff1feeb05

View file

@ -21,8 +21,7 @@ import java.util.*;
import db.*;
import ghidra.framework.options.*;
import ghidra.util.HelpLocation;
import ghidra.util.SystemUtilities;
import ghidra.util.*;
import ghidra.util.exception.ClosedException;
/**
@ -280,6 +279,10 @@ class OptionsDB extends AbstractOptions {
if (optionType == getOptionType()) {
value = optionType.convertStringToObject(rec.getString(VALUE_COL));
}
else {
Msg.info(this, "The type for '" + this.getName() + "' has changed! Using default value.");
value = getDefaultValue();
}
}
}
isCached = true;