import java.io.*;
import java.util.*;
import javax.servlet.*;
import javax.servlet.http.*;
public class ClientPullMove extends HttpServlet {
static final String NEW_HOST = "http://www.rntsoft.com";
public void doGet(HttpServletRequest req, HttpServletResponse res)
throws ServletException, IOException {
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.
");
out.println("Its new location is " + newLocation + "
");
out.println("Your browser will take you there in 10 seconds.");
}
}