When socket goes down, poll the server for a new socket. When server is back up, do a hard refresh of the whole page.