Re: read_mini throws Run-Time Error

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hello John,

"John E. Davis" <davis@xxxxxxxxxxxxx> wrote:
> 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.

Me too. SLang 2.0.6 and XJed 0.99.18 and XJed 0.99.19-8. In Jed 0.99.19-8
it works. So the error is anywhere in the xjed code.

Bye, Jörg.
-- 
Der kommt den Göttern am nächsten, der auch dann schweigen kann,
wenn er im Recht ist.                         (Cato; 234-149 v. Chr.)

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