<% /******************************************************************************* * Copyright (c) 2001, 2010 IBM Corporation and others. * All rights reserved. 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 * 20100414 306773 mahutch@ca.ibm.com - Mark Hutchinson, make session time out configurable *******************************************************************************/ %> <%@ page contentType="text/html; charset=UTF-8" import="org.eclipse.wst.ws.internal.explorer.platform.perspective.*, org.eclipse.wst.ws.internal.explorer.platform.constants.*, org.eclipse.wst.ws.internal.explorer.*, org.eclipse.wst.ws.internal.explorer.platform.util.URLUtils, java.util.Enumeration, java.net.*, java.io.*"%> <% String sessionId = session.getId(); %> <%! private void resetController(ServletContext application,String sessionId,HttpSession session,HttpServletRequest request,Controller controller){ // Add the session to the application. This allows us to resurrect the session even if the browser chooses not to participate. application.setAttribute(sessionId,session); // Set Max inactivity time out value to 30mins. session.setMaxInactiveInterval(controller.getSessionTimeoutInMinutes() * 60); // LaunchOptionManager (below) handles most options, // but need to get state and install locations earlier, // specifically before controller.init(). Enumeration paramNames = request.getParameterNames(); while (paramNames.hasMoreElements()) { String paramName = (String)paramNames.nextElement(); String[] paramValues = request.getParameterValues(paramName); if (paramValues != null && paramValues.length > 0) { String decodedParamName = URLUtils.decode(paramName); if (decodedParamName.equals(LaunchOptions.DEFAULT_FAVORITES_LOCATION)) { controller.setDefaultFavoritesLocation(paramValues[0]); } else if (decodedParamName.equals(LaunchOptions.STATE_LOCATION)) { controller.setStateLocation(paramValues[0]); } } } // controller.init() controller.init(sessionId,application,request.getContextPath()); } %> <%//resetController(application,sessionId,session,request,controller);%> <% // Check if session Controller needs to be re-initialized if (controller.getSessionId()==null){ resetController(application,sessionId,session,request,controller); } // preload from LaunchOptionManager String key = request.getParameter(URLUtils.encode(WSExplorerContext.ID)); if (key != null && key.length() > 0) { LaunchOptionsManager manager = LaunchOptionsManager.getInstance(); manager.manage(key, sessionId, application); } %> <%=controller.getMessage("TITLE_WSEXPLORER")%> <% // reset perspective content to blank controller.enablePerspectiveContentBlank(true); %> " frameborder=0 noresize> " src="<%=response.encodeURL(controller.getPathWithContext("perspective_toolbar.jsp"))%>" marginwidth=0 marginheight=0 scrolling="no" frameborder=0 noresize> " src="<%=response.encodeURL(controller.getPathWithContext("perspective_content.jsp"))%>" marginwidth=0 marginheight=0 scrolling="no" frameborder=0>