Re: closing string output ports?

[Nic Ferrier]

Marius Vollmer <address@hidden> writes:

> Kevin Ryde <address@hidden> writes:
> 
> > It looks like one isn't meant to close a string port before getting
> > the result.  The manual doesn't seem to say anything about that
> > though.
> 
> I think it would be useful to be able to get the output string even
> after the port has been closed.  No?


I don't really care about any of that, I just want to know what the
correct procedure should be for a virtual port. Should the virtual
port (close) the underlying port?

This is not documented.

Right now, if the underlying port is closed by the virtual port I get
an exception. 

This seems wrong, it seems like virtual ports should close the
underlying ports... but what do I know?


Nic