worker interactive mode: check stdin type

In particular, redirection from a file was leading to abort(),
so we provide an error message instead.