#3791: Handle third party tools rewriting integers badly

This commit is contained in:
md_5 2025-02-18 19:17:31 +11:00
parent 2a78233cc2
commit 0d153feee7
No known key found for this signature in database
GPG Key ID: E8E901AC7C617C11

View File

@ -189,7 +189,9 @@ public class YamlConfig implements ConfigurationAdapter
@Override
public int getInt(String path, int def)
{
return get( path, def );
// #3791: Sometimes third-party tools rewrite large ints into doubles
Number number = get( path, def );
return number.intValue();
}
@Override