embedded server: make the size of the thread pool configurable