Full page refreshes when navigating if websocket closed

Closes #87