runtime: show a more informative message for interrupted sessions.

Fixes #690.
This commit is contained in:
whitequark 2017-03-29 03:36:49 +00:00
parent 948ed6fb0a
commit d04d7ed120
1 changed files with 2 additions and 0 deletions

View File

@ -698,6 +698,8 @@ pub fn thread(io: Io) {
Err(err) => {
if err.kind() == io::ErrorKind::UnexpectedEof {
info!("connection closed");
} else if err.kind() == io::ErrorKind::Interrupted {
info!("kernel interrupted");
} else {
congress.finished_cleanly.set(false);
error!("session aborted: {}", err);