set_thread_pool

Description:

public void set_thread_pool (ThreadPool? pool)

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

Parameters:

this

a Server
pool

a ThreadPool