Receiving an @ERROR line from the server is (I think) always fatal, so