Comment author: administrator

Full_Name: Josef Svenningsson
Version: 3.08.1
OS: Windows/Cygwin
Submission from: dhcp-246-17.nomad.chalmers.se (129.16.246.17)

I want my program to fail when trying to open an already existing file. So I
use
the following command:
open_out_gen [Open_wronly;Open_excl;Open_text] 0o666 filename

(This is a variation on open_out with Open_excl added instead of Open_trunc.)
However, opening an already existing file works perfectly fine! The program
doesn't fail.

Thanks for your bug report.

From the man page for the open() system call:
O_EXCL error if create and file exists

The semantics of Unix system calls is that you have to add Open_creat for
Open_excl to have any effect. I will fix our documentation to make this
explicit.

-- Damien

Comment author: administrator

fixed by better documentation DD 2005-01-27

Comment author: administrator

On Thu, 27 Jan 2005 18:02:07 +0100 (MET), Damien Doligez
caml-bugs@pauillac.inria.fr wrote:

Full_Name: Josef Svenningsson
Version: 3.08.1
OS: Windows/Cygwin
Submission from: dhcp-246-17.nomad.chalmers.se (129.16.246.17)

I want my program to fail when trying to open an already existing file. So I
use
the following command:
open_out_gen [Open_wronly;Open_excl;Open_text] 0o666 filename

(This is a variation on open_out with Open_excl added instead of Open_trunc.)
However, opening an already existing file works perfectly fine! The program
doesn't fail.

Thanks for your bug report.

From the man page for the open() system call:
O_EXCL error if create and file exists

The semantics of Unix system calls is that you have to add Open_creat for
Open_excl to have any effect. I will fix our documentation to make this
explicit.

Thanks! I had to add Open_creat anyway (as I noticed) so it is not a
show stopper for me.

Cheers,

/Josef