/*
 * Copyright 2000-2014 Vaadin Ltd.
 * 
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License. You may obtain a copy of
 * the License at
 * 
 * http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
 * License for the specific language governing permissions and limitations under
 * the License.
 */

package com.vaadin.server.communication;

import java.io.IOException;

import javax.servlet.ServletConfig;
import javax.servlet.ServletException;

import org.atmosphere.cache.UUIDBroadcasterCache;
import org.atmosphere.client.TrackMessageSizeInterceptor;
import org.atmosphere.cpr.ApplicationConfig;
import org.atmosphere.cpr.AtmosphereFramework;
import org.atmosphere.cpr.AtmosphereInterceptor;
import org.atmosphere.cpr.AtmosphereRequest;
import org.atmosphere.cpr.AtmosphereResponse;

import com.vaadin.server.RequestHandler;
import com.vaadin.server.ServiceDestroyEvent;
import com.vaadin.server.ServiceDestroyListener;
import com.vaadin.server.ServiceException;
import com.vaadin.server.ServletPortletHelper;
import com.vaadin.server.SessionExpiredHandler;
import com.vaadin.server.VaadinRequest;
import com.vaadin.server.VaadinResponse;
import com.vaadin.server.VaadinServletRequest;
import com.vaadin.server.VaadinServletResponse;
import com.vaadin.server.VaadinServletService;
import com.vaadin.server.VaadinSession;
import com.vaadin.shared.communication.PushConstants;

/**
 * Handles requests to open a push (bidirectional) communication channel between
 * the client and the server. After the initial request, communication through
 * the push channel is managed by {@link PushHandler}.
 * 
 * @author Vaadin Ltd
 * @since 7.1
 */
public class PushRequestHandler implements RequestHandler,
        SessionExpiredHandler {

    private AtmosphereFramework atmosphere;
    private PushHandler pushHandler;

    /**
     * Atmosphere 2.x has a race condition when AtmosphereFramework init(config)
     * is run from two threads at once. See http://dev.vaadin.com/ticket/13528
     */
    private static Object atmosphereInitRaceConditionWorkaroundLock = new Object();

    public PushRequestHandler(VaadinServletService service)
            throws ServiceException {

        final ServletConfig config = service.getServlet().getServletConfig();

        atmosphere = new AtmosphereFramework() {
            @Override
            protected void analytics() {
                // Overridden to disable version number check
            }

            @Override
            public AtmosphereFramework addInitParameter(String name,
                    String value) {
                if (config.getInitParameter(name) == null) {
                    super.addInitParameter(name, value);
                }
                return this;
            }
        };

        service.addServiceDestroyListener(new ServiceDestroyListener() {
            @Override
            public void serviceDestroy(ServiceDestroyEvent event) {
                destroy();
            }
        });

        synchronized (atmosphereInitRaceConditionWorkaroundLock) {
            pushHandler = new PushHandler(service);
            atmosphere.addAtmosphereHandler("/*", pushHandler.handler);
            atmosphere.addInitParameter(ApplicationConfig.BROADCASTER_CACHE,
                    UUIDBroadcasterCache.class.getName());
            atmosphere.addInitParameter(
                    ApplicationConfig.PROPERTY_SESSION_SUPPORT, "true");
            atmosphere.addInitParameter(ApplicationConfig.MESSAGE_DELIMITER,
                    String.valueOf(PushConstants.MESSAGE_DELIMITER));

            final String bufferSize = String
                    .valueOf(PushConstants.WEBSOCKET_BUFFER_SIZE);
            atmosphere.addInitParameter(
                    ApplicationConfig.WEBSOCKET_BUFFER_SIZE, bufferSize);
            atmosphere.addInitParameter(
                    ApplicationConfig.WEBSOCKET_MAXTEXTSIZE, bufferSize);
            atmosphere.addInitParameter(
                    ApplicationConfig.WEBSOCKET_MAXBINARYSIZE, bufferSize);
            atmosphere.addInitParameter(
                    ApplicationConfig.PROPERTY_ALLOW_SESSION_TIMEOUT_REMOVAL,
                    "false");
            // Disable Atmosphere's message about commercial support
            atmosphere.addInitParameter(
                    "org.atmosphere.cpr.showSupportMessage", "false");

            try {
                atmosphere.init(config);

                // Ensure the client-side knows how to split the message stream
                // into individual messages when using certain transports
                AtmosphereInterceptor trackMessageSize = new TrackMessageSizeInterceptor();
                trackMessageSize.configure(atmosphere.getAtmosphereConfig());
                atmosphere.interceptor(trackMessageSize);
            } catch (ServletException e) {
                throw new ServiceException("Atmosphere init failed", e);
            }
        }
    }

    @Override
    public boolean handleRequest(VaadinSession session, VaadinRequest request,
            VaadinResponse response) throws IOException {

        if (!ServletPortletHelper.isPushRequest(request)) {
            return false;
        }

        if (request instanceof VaadinServletRequest) {
            try {
                atmosphere.doCometSupport(AtmosphereRequest
                        .wrap((VaadinServletRequest) request),
                        AtmosphereResponse
                                .wrap((VaadinServletResponse) response));
            } catch (ServletException e) {
                // TODO PUSH decide how to handle
                throw new RuntimeException(e);
            }
        } else {
            throw new IllegalArgumentException(
                    "Portlets not currently supported");
        }

        return true;
    }

    public void destroy() {
        atmosphere.destroy();
    }

    /*
     * (non-Javadoc)
     * 
     * @see
     * com.vaadin.server.SessionExpiredHandler#handleSessionExpired(com.vaadin
     * .server.VaadinRequest, com.vaadin.server.VaadinResponse)
     */
    @Override
    public boolean handleSessionExpired(VaadinRequest request,
            VaadinResponse response) throws IOException {
        // Websockets request must be handled by accepting the websocket
        // connection and then sending session expired so we let
        // PushRequestHandler handle it
        return handleRequest(null, request, response);
    }
}

@@ -33,18 +33,17 @@
  Ltd.%0A *
- 
 %0A
+
  * Licen
@@ -214,17 +214,16 @@
 se at%0A *
- 
 %0A * http
@@ -263,17 +263,16 @@
 E-2.0%0A *
- 
 %0A * Unle
@@ -1891,17 +1891,16 @@
 ler%7D.%0A *
- 
 %0A * @aut
@@ -2494,17 +2494,30 @@
 tConfig 
-c
+vaadinServletC
 onfig = 
@@ -2536,16 +2536,33 @@
 ervlet()
+%0A                
 .getServ
@@ -2911,17 +2911,30 @@
     if (
-c
+vaadinServletC
 onfig.ge
@@ -4737,25 +4737,38 @@
 sphere.init(
-c
+vaadinServletC
 onfig);%0A%0A   

Fix overwrite mechanism for web.xml atmosphere init params (#14196).