1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
<%--
Copyright (c) 2011, 2018 IBM Corporation and others.
This program and the accompanying materials
are made available under the terms of the Eclipse Public License 2.0
which accompanies this distribution, and is available at
https://www.eclipse.org/legal/epl-2.0/
SPDX-License-Identifier: EPL-2.0
Contributors:
IBM Corporation - initial API and implementation
--%>
<%@ page import="org.eclipse.help.internal.webapp.data.*" errorPage="/advanced/err.jsp" contentType="text/html; charset=UTF-8"%>
<%
new WorkingSetManagerData(application, request, response);
String workingSet = request.getParameter("workingSet");
String args = "";
if (workingSet != null && workingSet.length() > 0) {
args = "?workingSet=" + workingSet;
}
%>
<html lang="<%=ServletResources.getString("locale", request)%>">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title><%=ServletResources.getString("Loading", request)%></title>
<script type="text/javascript">
function onloadHandler() {
location.href="advanced/workingSetManager.jsp<%=UrlUtil.JavaScriptEncode(args)%>";
}
</script>
</head>
<body onload="onloadHandler()">
</body>
</html>
|
