let inputs = ref [];;
let time_max = ref 0xFFFF;;
let dir_output = ref "";;
-let format_output = ref "csv";;
+let format_output = ref "";;
let basename_output = ref "";;
let output = ref "";;
let main () =
-(*
- let () = print_endline (Unix.readlink "/proc/self/fd/0") in
- let () = print_endline (Unix.readlink "/proc/self/fd/1") in
- let () = print_endline (Unix.readlink "/proc/self/fd/2") in
-*)
- let () = stdio () in
let () = Arg.parse speclist option_unknown option_usage in
+ let () = stdio () in
let _ = Sys.signal Sys.sigalrm Sys.Signal_ignore in
let _ = set_GC () in
let io = new iomanager in
let () = io#set !output !dir_output !format_output !basename_output in
- let () = output_string stderr (" Faustine -> Reading input ...") in
+ let () = output_string stderr ("\n Faustine -> Reading input ...") in
let tic0 = Unix.time () in
let input : beam = io#read !inputs in
let toc0 = Unix.time () in