Skip to main content
summaryrefslogtreecommitdiffstats
blob: 11c07822d98c91a94a11b47652472f6c91e76b01 (plain) (blame)
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
41
42
43
44
45
46
47
48
49
50
<%
/*******************************************************************************
 * Copyright (c) 2001, 2006 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 * IBM Corporation - initial API and implementation
 * yyyymmdd bug      Email and other contact information
 * -------- -------- -----------------------------------------------------------
 * 20060515   128602 gilberta@ca.ibm.com - Gilbert Andrews
 *******************************************************************************/
%>
<%@ page contentType="text/html; charset=UTF-8" import="org.eclipse.wst.ws.internal.explorer.platform.perspective.*,
  org.eclipse.wst.ws.internal.explorer.WSExplorerContext,
  java.util.Enumeration,
  java.util.Hashtable,
  org.eclipse.wst.ws.internal.explorer.platform.util.URLUtils" %>

<%
  request.setCharacterEncoding("UTF-8"); 
  String key = null;
  Hashtable options = new Hashtable();
  Enumeration paramNames = request.getParameterNames();
  while (paramNames.hasMoreElements())
  {
    String paramName = (String)paramNames.nextElement();
    String[] paramValues = request.getParameterValues(paramName);
    if (paramValues != null && paramValues.length > 0)
    {
      if (key == null && URLUtils.decode(paramName).equals(WSExplorerContext.ID))
        key = paramValues[0];
      else
        options.put(paramName, paramValues);
    }
  }
  if (key != null)
  {
    LaunchOptionsManager manager = LaunchOptionsManager.getInstance();
    manager.manage(key, options, application);
  }
%>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html lang="<%=response.getLocale().getLanguage()%>">
<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
</html>

Back to the top