Fix an issue where the cp score would not be an int, and thus not sort correctly.

diff --git a/remoteglot.pl b/remoteglot.pl
index 55464e6e2716abafc287d427ad85d8d3daab58a9..52eae900e98dc52aa070d4b5eac3fa8c7436b79e 100755 (executable)
--- a/remoteglot.pl
+++ b/remoteglot.pl
@@ -1090,7 +1090,7 @@ sub score_digest {
                        if ($score == 0 && $info->{'tablebase'}) {
                                return ['d', undef];
                        } else {
-                               return ['cp', $score];
+                               return ['cp', int($score)];
                        }
                }
        }