diff options
Diffstat (limited to 'bundles/org.eclipse.wst.ws.explorer/wsexplorer/launch_options_registry.jsp')
-rw-r--r-- | bundles/org.eclipse.wst.ws.explorer/wsexplorer/launch_options_registry.jsp | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/bundles/org.eclipse.wst.ws.explorer/wsexplorer/launch_options_registry.jsp b/bundles/org.eclipse.wst.ws.explorer/wsexplorer/launch_options_registry.jsp deleted file mode 100644 index 11c07822d..000000000 --- a/bundles/org.eclipse.wst.ws.explorer/wsexplorer/launch_options_registry.jsp +++ /dev/null @@ -1,50 +0,0 @@ -<% -/******************************************************************************* - * 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> |