diff options
Diffstat (limited to 'judge/core.ml')
| -rw-r--r-- | judge/core.ml | 8 |
1 files 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 *) |