Skip to content
Permalink
Browse files

removed debugging output

  • Loading branch information...
quicquid committed Dec 1, 2016
1 parent 04092ee commit 85ff856fadb66eeb3c87af28b4f7587b225a7e63
Showing with 7 additions and 4 deletions.
  1. +1 −1 src/backend/schedule.ml
  2. +6 −3 src/params.ml
@@ -59,7 +59,7 @@ let read_to_stdout fd =
[process] record. *)
let launch refid cmd t =
System.harvest_zombies ();
(* if !Params.verbose then *) begin
if !Params.verbose then begin
Printf.eprintf "launching process: \"%s\"\n" cmd.line;
flush Pervasives.stderr;
end;
@@ -81,14 +81,17 @@ let path_prefix =
let get_exec e =
match !e with
| Unchecked (exec, cmd, vers) ->
let tod = Unix.gettimeofday () |> int_of_float in
let r = 10000 + (Random.int 10000) in
(*
let tod = Unix.gettimeofday () |> int_of_float in
let r = 10000 + (Random.int 10000) in
let stat = sprintf "echo path prefix: \"%s\" ; %s stat `which %s` >/tmp/stat-%d-%d.txt"
path_prefix path_prefix exec tod r in
ignore (Sys.command stat);
let check = sprintf "%s type %s >/tmp/check-%d-%d.txt" path_prefix exec tod r in
eprintf "probing command: %s\n" check;
*)
let check = sprintf "%s type %s >/dev/null" path_prefix exec in
(* eprintf "probing command: %s\n" check; *)
begin match Sys.command check with
| 0 ->
let p = Unix.open_process_in (path_prefix ^ vers) in

0 comments on commit 85ff856

Please sign in to comment.
You can’t perform that action at this time.