Merge pull request #5760 from eatkins/thin-client-exit

Handle interrupted exceptions in thin client reader
This commit is contained in:
Ethan Atkins 2020-08-15 15:26:33 -07:00 committed by GitHub
commit 094f6078b2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -905,7 +905,7 @@ class NetworkClient(
}
}
try Terminal.console.withRawInput(read())
catch { case NonFatal(_) => stopped.set(true) }
catch { case _: InterruptedException | NonFatal(_) => stopped.set(true) }
}
def drain(): Unit = inLock.synchronized {