Original bug ID: 272
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Pour détecter de suite les entrées/sorties sur les canaux fermés, je
propose ce patch, qui provoque un refill ou un flush_partial dès la
1ère tentative d'accès au buffer après close, donc une
Uncaught exception: Sys_error "Bad file number".
Les numéros de lignes sont faux, j'ai d'autres modifications dans ma
version d'io.c (pour plus tard..).

Bruno.

Index: io.c

RCS file: /caml/ocaml/byterun/io.c,v
retrieving revision 1.43
diff -C6 -r1.43 io.c
*** io.c 2000/10/12 18:05:40 1.43
--- io.c 2001/02/01 13:40:38
*** 415,426 ****
--- 433,445 ----
value caml_close_channel(value vchannel) /* ML /
{
/ For output channels, must have flushed before */
struct channel * channel = Channel(vchannel);
close(channel->fd);
channel->fd = -1;

• channel->curr = channel->max = channel->end;
  return Val_unit;
  }

value caml_channel_size(value vchannel) /* ML */
{
return Val_long(channel_size(Channel(vchannel)));