session_file


Description:

public File session_file ()

Returns the session JSON file (caller can use query_exists() on it).