X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;ds=sidebyside;f=globals.ml;h=0afb155ddca0118943d9bd3a77fc89378084ecd6;hb=4bb506215c662d430a339b7a3d24db10d43de61b;hp=8b006c3b9fb897d9601208313998f48641daceec;hpb=a9f606051125de2acc9140074f91054755fa67b4;p=vsys.git diff --git a/globals.ml b/globals.ml index 8b006c3..0afb155 100644 --- a/globals.ml +++ b/globals.ml @@ -1,8 +1,11 @@ +(** Some things that didn't fit in elsewhere *) let backend = ref "" let debug = ref true let vsys_version = "0.5" -type fd_and_fname = string option * Unix.file_descr +type result = Success | Failed + +type fname_and_fd = string option * Unix.file_descr (* Relative path, never precededed by a '/' *) type relpath = Relpath of string