get_int


Description:

public int get_int (string name, int default_value)