FileDocCategorySizeDatePackage
ClientPullMove.javaAPI DocExample773Thu Apr 05 01:30:56 BST 2001None

ClientPullMove

public class ClientPullMove extends HttpServlet

Fields Summary
static final String
NEW_HOST
Constructors Summary
Methods Summary
public voiddoGet(javax.servlet.http.HttpServletRequest req, javax.servlet.http.HttpServletResponse res)


       
                                  
    res.setContentType("text/html");
    PrintWriter out = res.getWriter();

    String newLocation = NEW_HOST + req.getRequestURI();

    res.setHeader("Refresh", "10; URL=" + newLocation);

    out.println("The requested URI has been moved to a different host.<BR>");
    out.println("Its new location is " + newLocation + "<BR>");
    out.println("Your browser will take you there in 10 seconds.");