Comment author: administrator

Full_Name: Florian Hars

The following code works under 3.06, but fails with
Sys_error("Bad file descriptor") unter 3.07+2.

If I don't Unix.close n_stdin at (* X *) it seems to work in 3.07, too.
Is this change in semantics intended or not?

Yes. "close_process_in" calls "close_in". In 3.06, "close_in" ignores
any error reported by the "close" system call. In 3.07+2, these errors
are not ignored but reported by raising an exception.

let _ =
let oc = open_out "input.txt" in
output_string oc "TESTTESTTEST\n";
close_out oc;
let o_stdin = Unix.dup Unix.stdin in
let ic = Unix.open_process_in ("cat input.txt") in
let n_stdin = Unix.descr_of_in_channel ic in
Unix.dup2 n_stdin Unix.stdin; Unix.close n_stdin; (* X )
let l = read_line () in
print_endline ("1 Read string: " ^ l);
let excode= Unix.close_process_in ic in
Unix.dup2 o_stdin Unix.stdin; Unix.close o_stdin;
( Unix.sleep 1000; *)
print_endline ("2 Read string: " ^ l)

You are first closing the file descriptor of ic, then trying to close ic
itself. That's a mistake.

-- Damien

Comment author: administrator

not a bug DD 2004-04-13