Re: read_mini throws Run-Time Error

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

Jörg Sommer <joerg@xxxxxxxxxxxx> wrote:
>> What does this produce for you?
>
>"read_mini caught Run-Time Error error" With the code added above, I get
>the same message. Ergo e does not match the UserBreakError clause.

What version of jed and slang are you using?  The following produces
"Caught UserBreakError" in jed-0.99.18 compiled with slang 2.0.6.
Thanks, --John

define test ()
{
   variable e;
   try (e)
     {
        () = read_mini ("foo", "", "");
     }
   catch UserBreakError: message ("Caught UserBreakError");
   catch AnyError: vmessage ("read_mini caught %s error", e.descr);
}


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