# HG changeset patch # User ymh # Date 1389920109 -3600 # Node ID 176ff9c25b8d23f5818685a118cf291e5f80c2e5 # Parent 87b0a35c3a8e6fc8db71cc5125c3162b87059713 upgrade jetty diff -r 87b0a35c3a8e -r 176ff9c25b8d server/pom.xml --- a/server/pom.xml Thu Jan 16 13:49:35 2014 +0100 +++ b/server/pom.xml Fri Jan 17 01:55:09 2014 +0100 @@ -17,8 +17,8 @@ 3.1.4.RELEASE 1.6.1.RELEASE 1.4.1.RELEASE - 8.1.13.v20130916 - 8.1.13.v20130916 + 8.1.14.v20131031 + 8.1.14.v20131031 4.11 2.1.1.RELEASE 2.1.0.RELEASE