Allow WebSocket flush for Tomcat