Skip to content

Commit

Permalink
mltools: Rename On_exit.rmdir to On_exit.rm_rf
Browse files Browse the repository at this point in the history
Make it clearer what this function does and that it's potentially
dangerous.  The functionality itself is unchanged.

Reviewed-by: Laszlo Ersek <lersek@redhat.com>
  • Loading branch information
rwmjones committed Jul 15, 2022
1 parent 201632e commit f92b8b2
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion mltools/on_exit.ml
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ let unlink filename =
register ();
List.push_front filename files

let rmdir dir =
let rm_rf dir =
register ();
List.push_front dir rmdirs

Expand Down
2 changes: 1 addition & 1 deletion mltools/on_exit.mli
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ val f : (unit -> unit) -> unit
val unlink : string -> unit
(** Unlink a single temporary file on exit. *)

val rmdir : string -> unit
val rm_rf : string -> unit
(** Recursively remove a temporary directory on exit (using [rm -rf]). *)

val kill : ?signal:int -> int -> unit
Expand Down

0 comments on commit f92b8b2

Please sign in to comment.