Thanks a lot for your prompt support.
Definitely a serious reason not to switch to any other application server!
On Thu, Nov 28, 2013 at 3:29 PM, Mark Thomas <ma...@apache.org> wrote:
> On 28/11/2013 14:06, Francesco Bassi wrote:
> > Hello everybody.
> >
> > I have a doubt:
> >
> > whenever the HttpSession expires, I get a NullPointerException on
> > WsServerContainer.unregisterAuthenticatedSession
> >
> > in this line:
> >
> > private void unregisterAuthenticatedSession(WsSession wsSession,
> > String httpSessionId) {
> > Set<WsSession> wsSessions =
> > authenticatedSessions.get(httpSessionId);
> > --> wsSessions.remove(wsSession);
> > }
> >
> >
> > The quick fix is obvious:
> >
> > private void unregisterAuthenticatedSession(WsSession wsSession,
> > String httpSessionId) {
> > Set<WsSession> wsSessions =
> > authenticatedSessions.get(httpSessionId);
> > if(wsSessions!=null) wsSessions.remove(wsSession);
> > }
> >
> > but I suspect that the error is elsewhere.
> >
> > What do you think?
>
> The quick fix looks like the right fix to me.
>
> I've applied the fix to trunk for 8.0.0-RC6 and 7.0.x for 7.0.48.
>
> Mark
>
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org
> For additional commands, e-mail: users-h...@tomcat.apache.org
>
>
