servi/org.eclipse.statet.rj.servi.webapp/src/org/eclipse/statet/rj/servi/webapp/RJServlet.java

/*=============================================================================#
 # Copyright (c) 2009, 2017 Stephan Wahlbrink and others.
 # 
 # This program and the accompanying materials are made available under the
 # terms of the Eclipse Public License 2.0 which is available at
 # https://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0
 # which is available at https://www.apache.org/licenses/LICENSE-2.0.
 # 
 # SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
 # 
 # Contributors:
 #     Stephan Wahlbrink <sw@wahlbrink.eu> - initial API and implementation
 #=============================================================================*/

package org.eclipse.statet.rj.servi.webapp;

import java.io.IOException;

import javax.servlet.ServletConfig;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;

import org.eclipse.statet.rj.servi.pool.JMPoolServer;


public class RJServlet extends HttpServlet {
	
	
	private JMPoolServer server;
	
	
	public RJServlet(){
	}
	
	
	@Override
	public void init(final ServletConfig config) throws ServletException {
		super.init(config);
		try {
			String id= getServletContext().getContextPath();
			if (id.startsWith("/")) {
				id= id.substring(1);
			}
			getServletContext().setAttribute(RJWeb.POOLID_KEY, id);
			
			final ServletRJContext rjContext= new ServletRJContext(getServletContext());
			getServletContext().setAttribute(RJWeb.RJCONTEXT_KEY, rjContext);
			
			this.server= new JMPoolServer(id, rjContext);
			this.server.start();
			
			getServletContext().setAttribute(RJWeb.RJ_POOLSERVER_KEY, this.server);
		}
		catch (final Exception e) {
			if (this.server != null) {
				this.server.shutdown();
				this.server= null;
			}
			throw new ServletException("Failed to initialized RServi Server.", e);
		}
	}
	
	@Override
	public void destroy() {
		if (this.server != null) {
			getServletContext().removeAttribute(RJWeb.RJ_POOLSERVER_KEY);
			
			this.server.shutdown();
		}
	}
	
	@Override
	protected void doGet(final HttpServletRequest request, final HttpServletResponse response) throws ServletException, IOException {
		if (this.server != null) {
			response.setStatus(HttpServletResponse.SC_OK);
		}
		else {
			response.setStatus(HttpServletResponse.SC_SERVICE_UNAVAILABLE);
		}
	}
	
}