mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-24 08:28:54 +00:00
* Issue #3762 - use the default port of 0 for WebSocket tests Signed-off-by: Lachlan Roberts <lachlan@webtide.com> * Issue #3762 - use system property to set custom port in xml Signed-off-by: Lachlan Roberts <lachlan@webtide.com>