aboutsummaryrefslogtreecommitdiff
path: root/judge/main.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-11-10 19:38:42 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-11-10 19:38:42 +0100
commite40508aa7f25247443b2ff8ebb6637b36608b8dc (patch)
tree8e3c9dba92e41dff00c9ceb8a151d39a513d0d4a /judge/main.ml
parentbf8420ea152a823b4a8fca98f4410f125fff150c (diff)
downloadCompetIA-e40508aa7f25247443b2ff8ebb6637b36608b8dc.tar.gz
CompetIA-e40508aa7f25247443b2ff8ebb6637b36608b8dc.zip
Ex aequo in score view.
Diffstat (limited to 'judge/main.ml')
-rw-r--r--judge/main.ml5
1 files changed, 4 insertions, 1 deletions
diff --git a/judge/main.ml b/judge/main.ml
index 8c74be6..18cba43 100644
--- a/judge/main.ml
+++ b/judge/main.ml
@@ -110,8 +110,11 @@ end = struct
(fun (_, sc) (_, sc') -> sc' - sc)
(C.scores())
in
+ let p_sc = ref (-199028109) in
let show_sc i (n, s) =
- text2 (i+4) black (string_of_int (i+1)^". ");
+ if s <> !p_sc then
+ text2 (i+4) black (string_of_int (i+1)^". ");
+ p_sc := s;
text3 (i+4) black n;
text4 (i+4) black (string_of_int s)
in