Minor: graceful message on server disconnect