X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=globals.ml;h=29054a6225716bed81df6a0e87c12e08f6ddb49d;hb=2b608078f42cc629a62b64149bc620a227c8831f;hp=26230b84591357fa8169d514ea6b570e4868d931;hpb=2955cde23cac50c0ad569745974746993b171524;p=vsys.git diff --git a/globals.ml b/globals.ml index 26230b8..29054a6 100644 --- a/globals.ml +++ b/globals.ml @@ -1,8 +1,22 @@ -let frontend = ref "" +(** Some things that didn't fit in elsewhere *) let backend = ref "" let debug = ref true +let vsys_version = "0.7" +let nochroot = ref false +let conffile = ref "" +let pid_filepath = ref "/var/run/vsys.pid" +let log_filepath = ref "/var/log/vsys" +let failsafe = ref false -type fd_and_fname = string option * Unix.file_descr +let logfd = open_out_gen [Open_append;Open_creat] 0o644 !log_filepath +let logprint fmt = Printf.fprintf logfd (fmt ^^ "%!") +let debprint fmt = if (!debug) then Printf.fprintf logfd (fmt ^^ "%!") +let print fmt = Printf.printf (fmt ^^ "%!") + +type result = Success | Failed +type fname_and_fd = string option * Unix.file_descr + +(* Relative path, never precededed by a '/' *) type relpath = Relpath of string exception Bad_path