Some fixes for running cometd6 on jetty-10 (#3702)

* Some fixes from testing cometd-6

Signed-off-by: Greg Wilkins <gregw@webtide.com>
This commit is contained in:
Greg Wilkins 2019-05-28 17:08:38 +02:00 committed by GitHub
parent 0499e8ce14
commit 3e0e6a73c7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 44 additions and 2 deletions

View File

@ -114,7 +114,7 @@ public class FilterMapping implements Dumpable
/* ------------------------------------------------------------ */
private int _dispatches=DEFAULT;
private String _filterName;
private transient FilterHolder _holder;
private FilterHolder _holder;
private String[] _pathSpecs;
private String[] _servletNames;
@ -148,8 +148,11 @@ public class FilterMapping implements Dumpable
*/
boolean appliesTo(int type)
{
FilterHolder holder = _holder;
if (_holder==null)
return false;
if (_dispatches==0)
return type==REQUEST || type==ASYNC && _holder.isAsyncSupported();
return type==REQUEST || type==ASYNC && holder.isAsyncSupported();
return (_dispatches&type)!=0;
}

View File

@ -0,0 +1,39 @@
//
// ========================================================================
// Copyright (c) 1995-2019 Mort Bay Consulting Pty. Ltd.
// ------------------------------------------------------------------------
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v1.0
// and Apache License v2.0 which accompanies this distribution.
//
// The Eclipse Public License is available at
// http://www.eclipse.org/legal/epl-v10.html
//
// The Apache License v2.0 is available at
// http://www.opensource.org/licenses/apache2.0.php
//
// You may elect to redistribute this code under either of these licenses.
// ========================================================================
//
package org.eclipse.jetty.websocket.server;
import javax.servlet.FilterConfig;
import javax.servlet.ServletException;
/**
* @deprecated Moved to #org.eclipse.jetty.websocket.servlet.WebSocketUpgradeFilter
*/
@Deprecated
public class WebSocketUpgradeFilter extends org.eclipse.jetty.websocket.servlet.WebSocketUpgradeFilter
{
@Override
public void init(FilterConfig config) throws ServletException
{
super.init(config);
config.getServletContext().log(
WebSocketUpgradeFilter.class.getName() +
" is deprecated. Use " +
org.eclipse.jetty.websocket.servlet.WebSocketUpgradeFilter.class.getName());
}
}