set_session_pool

Description:

public void set_session_pool (SessionPool? pool)

configure pool to be used as the session pool of this.

Parameters:

this

a Server
pool

a SessionPool