From 28cdfd263c9353010c8868ab2316cddeced20d4a Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 13 Nov 2014 18:24:36 +0100 Subject: Fix indentation --- judge/core.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/judge/core.ml b/judge/core.ml index 8716c86..136b281 100644 --- a/judge/core.ml +++ b/judge/core.ml @@ -266,7 +266,7 @@ module Core (G: GAME) : CORE = struct let g = G.new_game in let g = { p1; p2; hist = [g]; s = G.s g } in r_games := g::(!r_games); - usefull := true + usefull := true in let can_launch, cannot_launch = List.partition (fun (p1, p2) -> @@ -366,7 +366,7 @@ module Core (G: GAME) : CORE = struct p.s <- Thinking (t, Unix.gettimeofday()); | _ -> () end; - usefull := true + usefull := true in List.iter do_fd in_fd; (* Check if somebody has timed out *) let check_timeout g = @@ -381,7 +381,7 @@ module Core (G: GAME) : CORE = struct l.p.score <- l.p.score + !pt_lose; w.s <- Saving; if l.s <> Dead then l.s <- Saving; - usefull := true + usefull := true end | _ -> () in List.iter check_timeout !r_games; @@ -409,7 +409,7 @@ module Core (G: GAME) : CORE = struct p.s <- Dead; p.p.running <- None; List.iter close p.cfd; - usefull := true + usefull := true end with _ -> () end; (* return value *) -- cgit v1.2.3 From d59fafa9b29012f9ed03381bf852e603ee288026 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Sat, 15 Nov 2014 14:40:47 +0100 Subject: Fix stupid command line option --- judge/core.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/judge/core.ml b/judge/core.ml index 136b281..33329ff 100644 --- a/judge/core.ml +++ b/judge/core.ml @@ -130,7 +130,7 @@ module Core (G: GAME) : CORE = struct "-t", Arg.Set_int pt_tie, "Points granted on tie (+1)"; "-l", Arg.Set_int pt_lose, "Points granted on lose (0)"; "-e", Arg.Set_int pt_elim, "Points granted on eliminated (-1)"; - "-l", Arg.Set log_games, "Log all games (false)"; + "-v", Arg.Set log_games, "Log all games (false)"; ] in Arg.parse args (fun s -> game_dir := s) -- cgit v1.2.3