Fix an issue where the cp score would not be an int, and thus not sort correctly.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Mon, 13 Jun 2016 13:37:46 +0000 (15:37 +0200)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Mon, 13 Jun 2016 13:37:46 +0000 (15:37 +0200)
remoteglot.pl

index 55464e6..52eae90 100755 (executable)
@@ -1090,7 +1090,7 @@ sub score_digest {
                        if ($score == 0 && $info->{'tablebase'}) {
                                return ['d', undef];
                        } else {
-                               return ['cp', $score];
+                               return ['cp', int($score)];
                        }
                }
        }