Description
When trying to send a push message to a user who has already destroyed his web socket connection, PushContextImpl.send throws NPE
java.lang.NullPointerException: Cannot invoke "java.util.Set.size()" because "channelTokenSet" is null
at org.apache.myfaces.push.cdi.PushContextImpl.send(PushContextImpl.java:134)
at org.apache.myfaces.push.cdi.PushContextImpl.send(PushContextImpl.java:122)
Method should be null safe, just to continue with next user identification.