set_session_pool


Description:

public void set_session_pool (SessionPool? pool)

Set pool as the sessionpool for this which it will use to find or allocate sessions.

the sessionpool is usually inherited from the server that created the client but can be overridden later.

Parameters:

this

a Client

pool

a SessionPool