From d04d7ed120b028dcc004dca9b70eae0f768da582 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Wed, 29 Mar 2017 03:36:49 +0000
Subject: [PATCH] runtime: show a more informative message for interrupted
 sessions.

Fixes #690.
---
 artiq/firmware/runtime/session.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/artiq/firmware/runtime/session.rs b/artiq/firmware/runtime/session.rs
index 88a96c16e..b2218bce1 100644
--- a/artiq/firmware/runtime/session.rs
+++ b/artiq/firmware/runtime/session.rs
@@ -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);