--- src/examples/servlet/XMLServlet.java.orig 2004-07-23 18:45:59.000000000 -0400
+++ src/examples/servlet/XMLServlet.java 2004-07-23 19:01:30.000000000 -0400
@@ -277,6 +277,12 @@
}
+ public void setCharacterEncoding( String enc )
+ {
+ _response.setCharacterEncoding( enc );
+ }
+
+
public ServletOutputStream getOutputStream()
throws IOException
{
@@ -297,6 +303,12 @@
}
+ public String getContentType()
+ {
+ return _response.getContentType();
+ }
+
+
public void setContentType( String type )
{
_response.setContentType( type );