DateServlet.java
import java.io.*;
import java.util.*;
import java.net.*;
import javax.servlet.*;
import javax.servlet.http.*;
public class DateServlet extends JRunDemoServlet {
public void service( HttpServletRequest req, HttpServletResponse res )
throws IOException {
res.setContentType( "text/html; charset=euc-jp" );
PrintWriter out = res.getWriter();
String mode = req.getParameter( "mode" );
if( mode != null && mode.equals("start") )
out.println( "<META HTTP-EQUIV=\"Refresh\" CONTENT=\"1;\">" );
generateDemoPageStart( out );
out.println( "<CENTER>" );
out.println( "<FONT SIZE=+2 FACE=\"arial\">" );
out.println( new Date().toString() );
out.println( "</FONT>" );
out.println( "<P>" );
out.println( "<FONT SIZE=+1 FACE=\"arial\">" );
if( mode != null && mode.equals("start") )
out.println( "<A HREF=\"" + req.getRequestURI() + "?mode=stop\">更新の停止</A>" );
else
out.println( "<A HREF=\"" + req.getRequestURI() + "?mode=start\">更新の開始</A>" );
out.println( "</CENTER>" );
generateDemoPageEnd(req, res, out );
}
}