Re: read_mini leaves "" on stack

["John E. Davis" <davis@xxxxxxxxxxxxx>]

=?UTF-8?Q?J=C3=B6rg?= Sommer <joerg@xxxxxxxxxxxx> wrote:
>But ^C does not generate a UserBreak.

It does if it is configured at the terminal to generate a SIGINT.  Try
this:

jed -batch -f \
 'try($1){read_mini("ABC","abc","123");}catch AnyError:message($1.message);'

At the prompt, press ^C.

Thanks,
--John

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.