On a Mac, when I lose connection to the server in the middle of editing I get this error: 