[jetty-users] Improve start up performance by initializing servlets only

[Wouter Bancken <wouter.bancken@xxxxxxxxx>]

Dear,

We recently migrated to Jetty 9 and now we're experiencing a very slow start-up of our applications. 

We debugged the start-up and we found that the slow start-up is caused by the fact that Jetty is initializing the servlets multiple times. 

I'm not sure if it's the correct place but I've created a pull request at https://github.com/eclipse/jetty.project/pull/53 to fix the issue. It also contains a more elaborate description of the issue.

Please let me know if the pull request should be created somewhere else.

Best regards,

Wouter Bancken