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




2022 vala-language.org