| <%@ page import="java.util.Locale,org.eclipse.help.servlet.*" contentType="text/html; charset=UTF-8"%> | |
| <% | |
| // calls the utility class to initialize the application | |
| application.getRequestDispatcher("/servlet/org.eclipse.help.servlet.InitServlet").include(request,response); | |
| %> | |
| <% | |
| String agent=request.getHeader("User-Agent").toLowerCase(Locale.US); | |
| boolean ie = (agent.indexOf("msie") != -1); | |
| boolean mozilla = (!ie && (agent.indexOf("mozilla/5")!=-1)); | |
| %> | |
| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> | |
| <!-- | |
| (c) Copyright IBM Corp. 2000, 2002. | |
| All Rights Reserved. | |
| --> | |
| <html> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> | |
| </head> | |
| <body onload='window.location.replace("<%=ie||mozilla?"":"ns4/"%>help.jsp<%=request.getQueryString()!=null?"?"+request.getQueryString():""%>")'> | |
| <NOSCRIPT> | |
| <h2><%=WebappResources.getString("JavaScript_disabled", request)%></h2> | |
| </NOSCRIPT> | |
| </body> | |
| </html> |