specify ctrl-d to halt pipeline


Fixes #1767
CTRL-C Enter is OK too


Fixes #1767