[GitHub] tomcat issue #73: Bug 57767 - Websocket client proprietary configuration

2017-10-13 Thread markt-asf
Github user markt-asf commented on the issue: https://github.com/apache/tomcat/pull/73 No objections to back-porting here. --- - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-ma

[GitHub] tomcat issue #73: Bug 57767 - Websocket client proprietary configuration

2017-10-13 Thread rmaucher
Github user rmaucher commented on the issue: https://github.com/apache/tomcat/pull/73 Well, it looks ok to me overall, so I'll add a bit of javadoc and merge it. Any issue with backporting it ? --- - To unsubscribe,

[GitHub] tomcat issue #73: Bug 57767 - Websocket client proprietary configuration

2017-10-13 Thread markt-asf
Github user markt-asf commented on the issue: https://github.com/apache/tomcat/pull/73 Chris's original concern with the BZ 57767 patch (lack of Javadoc) still needs to be addressed. --- - To unsubscribe, e-mail: de