Specify server-side keep-alive ping interval for websockets.  no issue #