TIP: Click on subject to list as thread! ANSI
echo: rberrypi
to: RICHARD KETTLEWELL
from: EMANUEL BERG
date: 2017-09-23 00:21:00
subject: Re: dafny on R-Pi

Richard Kettlewell wrote:

> It’s not writing to a location, it’s writing
> to a pipe or socket. The ‘some reason’ is
> that the other endpoint of the pipe has
> been closed.
>
> The filename in the diagnostic is not just
> cryptic, it is misleading, since it’s
> unrelated to what actually went wrong.

Interesting. I said I would drop the whole
issue but I take it back. If anyone feels
inclined to try to install it on their system,
feel free to post the results, and I'll do the
same if I get any ideas. I'm unfamiliar with
the whole .NET/Mono thing tho so perhaps it's
unlikely I'll be able to solve it on my own.

--
underground experts united
http://user.it.uu.se/~embe8573

--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | FidoUsenet Gateway (3:770/3)

SOURCE: echomail via QWK@docsplace.org

Email questions or comments to sysop@ipingthereforeiam.com
All parts of this website painstakingly hand-crafted in the U.S.A.!
IPTIA BBS/MUD/Terminal/Game Server List, © 2025 IPTIA Consulting™.