# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1580943559 -3600
# Node ID 8b4354b5c05fcf8802d867281afc1fdbdc35cbdd
# Parent  0318802dfe28f48d5c1b6ba1afe91de8ad2b4e94
tools (images): fixed type for recommended_size.

diff -r 0318802dfe28 -r 8b4354b5c05f sat/tools/images.py
--- a/sat/tools/images.py	Tue Feb 04 19:59:42 2020 +0100
+++ b/sat/tools/images.py	Wed Feb 05 23:59:19 2020 +0100
@@ -50,7 +50,7 @@
                 factor = max_size[1] / image.size[1]
         else:
             factor = max_size[1] / image.size[1]
-        report['recommended_size'] = [image.width*factor, image.height*factor]
+        report['recommended_size'] = [int(image.width*factor), int(image.height*factor)]
     else:
         report['too_large'] = False