On socket(/webREPL) disconnected

[jan2000]

Hi guys. In my browser-based project I make a webREPL connection and begin listening to pins. When I refresh the browser - all my IRQs and functions still exist on the ESP8266 but my project tries to establish them once again which over time causes the ESP8266 to crash. A soft reset doesn't clear these things. So what I really want is for the ESP8266 to do a hard machine.reset() when the webREPL (websocket) disconnects (ie when I hit F5 in the browser). Is that possible?