Question: how can I ensure socket closure when refresh button is pressed?

[mistergibson]

Hey There,

WEBrocket works great but there is one hitch: when the refresh button on the browser is pushed -- I get no 'on_close' event on the socket. I'm wondering how to detect socket closure.

Thanks in advance.