How to set up Thread Pool for jetty server? There is a configuration file etc/jetty.xml according to docs. Is this thread pool shared among all services published by Jetty server on various ports or does it create thread pool for each port separately? In my opinion pool is shared for all ports. Is it possible to set up thread pool for different ports? Do REST and SOAP services use same jetty.xml configuration file?
