[richfaces-issues] [JBoss JIRA] (RF-13787) Push not using WebSockets