zzz 2baee7413c * Replace size() <= 0 with isEmpty() everywhere, ditto > 0 -> !isEmpty()

2010-05-05 16:51:54 +00:00

..

http

* Replace size() <= 0 with isEmpty() everywhere, ditto > 0 -> !isEmpty()

2010-05-05 16:51:54 +00:00

jetty

Fix addWebApplications API goofup, Bump BOB version, which I forgot to do.

2010-02-13 13:46:10 +00:00

util

* Jetty: Backport directory listing bugfix from jetty 6

2010-04-27 12:51:14 +00:00