Index: server/server.xml =================================================================== --- server/server.xml (revision 6732c094603c9ccdbb03eaf2fc276a6b1077763b) +++ server/server.xml (revision a41f64326a4ca1de7129c1da8a3d0d09a9bf813f) @@ -16,8 +16,8 @@