--- server.xml.old 2008-02-12 16:11:58.000000000 -0500 +++ server.xml 2008-02-12 16:12:20.000000000 -0500 @@ -121,12 +121,10 @@ -