Plasma GitLab Archive
Projects Blog Knowledge

Module Netsys_tmp

module Netsys_tmp: sig .. end
Temporary files

val tmp_directory : unit -> string
Return the directory for temporary files. This is used as global default for functions that need such a directory. It is initialized with a reasonable default (OS-dependent).
val tmp_prefix : string -> string
tmp_prefix p: Enhance the prefix for temporary files by appending some digits to p. It is not ensures that the prefix is unique, though.
val set_tmp_directory : string -> unit
Set the directory for temporary files
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml