set_integer

Description:

public void set_integer (string key, int value)

Sets the configuration value to the provided integer.

Parameters:

this

an instance of Config
key

the key name
value

the value