457cc75be7
Currently, if a websocket client hangs up, we won't notice until the next time we try to send data. But ws4py has a callback for informing us of a hangup sooner. Use that. Change-Id: Ifbd28161f7fc77cd1dc01883b132366a801b76ef