Correct trace property name

This commit is contained in:
Kenzie Togami 2018-11-03 23:06:52 -07:00
parent e202348dac
commit b6f6f3dde6
No known key found for this signature in database
GPG Key ID: 5D200B325E157A81

View File

@ -75,7 +75,7 @@ public class PropertiesConfiguration extends LocalConfiguration {
loadExtra(); loadExtra();
profile = getBool("profile", profile); profile = getBool("profile", profile);
traceUnflushedSessions = getBool("traceUnflushedSessions", traceUnflushedSessions); traceUnflushedSessions = getBool("trace-unflushed-sessions", traceUnflushedSessions);
disallowedBlocks = getStringSet("disallowed-blocks", defaultDisallowedBlocks); disallowedBlocks = getStringSet("disallowed-blocks", defaultDisallowedBlocks);
defaultChangeLimit = getInt("default-max-changed-blocks", defaultChangeLimit); defaultChangeLimit = getInt("default-max-changed-blocks", defaultChangeLimit);
maxChangeLimit = getInt("max-changed-blocks", maxChangeLimit); maxChangeLimit = getInt("max-changed-blocks", maxChangeLimit);