Skip to content

Commit

Permalink
small patch for #109 , with cleanup of BatIO.input enabled by default
Browse files Browse the repository at this point in the history
  • Loading branch information
c-cube authored and gasche committed Oct 28, 2016
1 parent 49ea666 commit 2b83502
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/batIO.mli
Expand Up @@ -736,7 +736,7 @@ val input_channel : ?autoclose:bool -> ?cleanup:bool -> in_channel -> input
@param cleanup If true, the channel
will be automatically closed when the {!type: input} is closed.
Otherwise, you will need to close the channel manually.
Otherwise, you will need to close the channel manually. Default is [true].
*)

val output_channel : ?cleanup:bool -> out_channel -> unit output
Expand Down
2 changes: 1 addition & 1 deletion src/batInnerIO.ml
Expand Up @@ -362,7 +362,7 @@ let placeholder_in =
in_close = noop;
in_id = (-1);
in_upstream= weak_create 0 }
let input_channel ?(autoclose=true) ?(cleanup=false) ch =
let input_channel ?(autoclose=true) ?(cleanup=true) ch =
let me = ref placeholder_in (*placeholder*)
in let result =
create_in
Expand Down

0 comments on commit 2b83502

Please sign in to comment.