get_int


Description:

public int64 get_int (string key)

Gets a int64 context value.

Parameters:

key

the integer key to read

Returns:

the value, or `0` if the key is unknown or has a different type