[PATCH] Servlet Examples

[Mark Thomas]

Noticed this while looking at the examples. Worth making sure we get this sort 
of thing right.

Mark

Index: webapps/examples/servlets/helloworld.html
===================================================================
RCS file: 
/home/cvspublic/jakarta-tomcat-4.0/webapps/examples/servlets/helloworld.html,v
retrieving revision 1.1
diff -u -r1.1 helloworld.html
--- webapps/examples/servlets/helloworld.html   17 Aug 2000 00:58:20 -0000      1.1
+++ webapps/examples/servlets/helloworld.html   6 Dec 2003 18:47:56 -0000
@@ -21,7 +21,6 @@
         response.setContentType(&quot;<font 
color="#009900">text/html</font>&quot;);
         PrintWriter out = response.getWriter();
         out.println(&quot;<font color="#009900">&lt;html&gt;</font>&quot;);
-        out.println(&quot;<font color="#009900">&lt;body&gt;</font>&quot;);
         out.println(&quot;<font color="#009900">&lt;head&gt;</font>&quot;);
         out.println(&quot;<font color="#009900">&lt;title&gt;Hello 
World!&lt;/title&gt;</font>&quot;);
         out.println(&quot;<font color="#009900">&lt;/head&gt;</font>&quot;);


Index: jsr154/examples/helloworld.html
===================================================================
RCS file: 
/home/cvspublic/jakarta-servletapi-5/jsr154/examples/helloworld.html,v
retrieving revision 1.2
diff -u -r1.2 helloworld.html
--- jsr154/examples/helloworld.html     29 Oct 2002 17:42:57 -0000      1.2
+++ jsr154/examples/helloworld.html     6 Dec 2003 18:49:44 -0000
@@ -21,7 +21,6 @@
         response.setContentType(&quot;<font 
color="#009900">text/html</font>&quot;);
         PrintWriter out = response.getWriter();
         out.println(&quot;<font color="#009900">&lt;html&gt;</font>&quot;);
-        out.println(&quot;<font color="#009900">&lt;body&gt;</font>&quot;);
         out.println(&quot;<font color="#009900">&lt;head&gt;</font>&quot;);
         out.println(&quot;<font color="#009900">&lt;title&gt;Hello 
World!&lt;/title&gt;</font>&quot;);
         out.println(&quot;<font color="#009900">&lt;/head&gt;</font>&quot;);


---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]