set_int

Description:

public void set_int (string key, int v)

Put an int in the cache.

Parameters:

key	Key
v	int