FileDocCategorySizeDatePackage
ClientPullMove.javaAPI DocExample750Tue Jan 25 10:45:14 GMT 2000None

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.");