78cbdd2c93
Previously the build would look up a server port dynamically, but since it closed the port immediately it may not be reserved by the time jetty started up. We now reserve the port and do not close it till just before Jetty starts. While there is still a race condition, it is much smaller window of time than it was previously. |
||
---|---|---|
.. | ||
aspectj | ||
cas | ||
certificates | ||
contacts | ||
dms | ||
gae | ||
jaas | ||
ldap | ||
openid | ||
preauth | ||
tutorial | ||
runall.sh |