API Reference
get_int()
Get an integer from the configuration.
key (str) – The key in the configuration to retreive
The value in the configuration, or the default