Started 2 mo 26 days ago
Took 1 min 29 sec

Success Build #1771 (Sep 21, 2019 12:05:10 AM)

Changes
  1. Keep port number in the host websocket request header for port 443 (detail / githubweb)
  2. Increase disconnect timeout as it seems to be needed (detail / githubweb)
  3. increase test timeout again (detail / githubweb)
  4. Add java.xml.bind dependencies for later Java versions (detail / githubweb)

Started by an SCM change

Revision: 7b44945eb80772ecea38a4425d06abf9de6f975c
  • origin/develop