get_session_pool

Description:

public SessionPool? get_session_pool ()

Get the SessionPool used as the session pool of this.

Parameters:

this

a Server

Returns:

the SessionPool used for sessions. unref after usage.