E.g. running cat and trying to terminate it by pressing Ctrl-D terminates the whole session.
Seems like the terminal we're using handles Ctrl-D (ASCII EOT) in a way that prevents further input processing. We might have to use another terminal implementation or roll our own.
