From 4166f694604b0ee8e7fb47156c6623d036b35457 Mon Sep 17 00:00:00 2001
From: "Steinar H. Gunderson" <sgunderson@bigfoot.com>
Date: Mon, 13 Jun 2016 15:37:46 +0200
Subject: [PATCH] Fix an issue where the cp score would not be an int, and thus
 not sort correctly.

---
 remoteglot.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/remoteglot.pl b/remoteglot.pl
index 55464e6..52eae90 100755
--- 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)];
 			}
 		}
 	}
-- 
2.39.2