Post #1522072

@fishidwardrobe @TheTomas @synec Or one or more ctrl-d (depending on circumstances). Also, ctrl-z doesn't actually make it exit but it does stop it eating all the input.