Gitblit devel
parent: 35bb22 | patch | commitdiff
David Ostrovsky
2014-06-17 f4519c0aa35d507fd54664fbdcacacc8240815ed
refs
author David Ostrovsky <david@ostrovsky.org>
Tuesday, June 17, 2014 08:44 -0400
committer David Ostrovsky <david@ostrovsky.org>
Tuesday, June 17, 2014 08:44 -0400
commitf4519c0aa35d507fd54664fbdcacacc8240815ed
tree 67c0601eaf7208bf77adf7d176353bf713ec8ee3 tree | zip | gz
parent 35bb2253c9ff0dcc44f3245026a141fde6415153 view | diff 
Update Jetty version to 9.2.1.v20140609

The Jetty 9.2 quick start mechanism provides almost an order of
magnitude improvement in start time [1].

[1] https://webtide.com/jetty-9-quick-start/
1 files modified
2 ■■■■■ changed files
build.moxie 2 ●●●●● diff | view | raw | blame | history