import java.io.*; import javax.servlet.*; import javax.servlet.http.*; import WebFlow.*; import WebFlow.event.*; import org.omg.CORBA.*; import WebFlow.QS.*; public class UserPage extends HttpServlet { public void doGet(HttpServletRequest req, HttpServletResponse res) throws ServletException, IOException { String UserName=req.getParameter("userContext"); ServletOutputStream out = res.getOutputStream(); res.setContentType("text/html"); out.println(""); out.println(""); out.println(""); out.println(""); out.println("
\"Gateway
"); out.println("

Hello user: "+UserName+"

"); out.println("

Welcome to the Gateway Demo"); out.println("

"); out.println("Please start the demo by clicking \"Problem Description\" link in the Gateway Navigator frame above.

Note, that most of the Control Applet functionality (the frame at the right hand side) is currently disabled. Anyway, at this time you do not need it to run this demo"); /* out.println(""); out.println("
Current date is:"); out.println("      "); out.println(""); out.println("
"); out.println("
"); out.println("
"); out.println(""); out.println("
"); out.println("
"); out.println("Last login date is:       "); out.println(""); out.println("
"); out.println("
"); out.println("
"); out.println(""); */ out.println("

"); out.println(""); out.println(""); out.flush(); out.close(); System.out.println("UserPage done"); } void error(String msg) { //out.println(msg); } void status(String msg) { //out.println(msg); } public String getServletInfo() { return "By T. Haupt"; } }