BaseXdb/basex-api — pull request #65 by dirkk (2012-07-11 10:29:54+00:00)
Title: Jetty8

Switching from Jetty 6 to Jetty 8. Previous discussion (about Jetty 7) can be found here: https://github.com/BaseXdb/basex-api/pull/64