On Mon, 7 Nov 2016, Emmanuel Bourg wrote: > I see that there are 3 websocket implementations, for Jetty 8, Jetty 9
Yes, that was confusing. > and Tomcat 7. Are the three absolutely needed? Is supporting only Jetty > 9 a viable alternative? AIUI we want to dump it into a Tomcat and be done with it, so that means Tomcat 8. Upstream said that it would work in Tomcat 8 after building it against Tomcat 7 when the Fedora packager complained about similar issues (I already fixed an API change in Jetty). So, I'm still confused. bye, //mirabilos -- tarent solutions GmbH Rochusstraße 2-4, D-53123 Bonn • http://www.tarent.de/ Tel: +49 228 54881-393 • Fax: +49 228 54881-235 HRB 5168 (AG Bonn) • USt-ID (VAT): DE122264941 Geschäftsführer: Dr. Stefan Barth, Kai Ebenrett, Boris Esser, Alexander Steeg

