On Thu, 23 Aug 2007, malc wrote:

> On Wed, 22 Aug 2007, Luca de Alfaro wrote:
>
>> Dear All,

[..snip..]

>
> open Unix;;
>
> let getprocout cmd =
[..snip..]
> ;;

This does not include closing of input channel and processing of
status. So Unix.close_process_in ought to be utilized somewhere.
Sorry about that.

-- 
vale