Re: How to redirect stdout

[Lindsey Spratt]

Perhaps flush_output(F) before the close(F), or simply 'flush_output', 
would help.
Lindsey

On Mar 1, 2005, at 3:04 AM, Alexandre Saidi wrote:

> Thanks for your help.
>
> I'd already tried :
>
> | ?-open('/home/alex/fichier',write,F), current_output(Old), 
> set_output(F), a_call, close(F), set_output(Old).
>
> But the file 'fichier' is of size 0 !
>
> So what's wrong with my code?
> should I flush something ?
>
> regards.
>
> AS