From 7bf7aa690637e6852a6298fda7daac0594b31bf3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Xose=20P=C3=A9rez?= Date: Sun, 8 Dec 2019 21:09:19 +0100 Subject: [PATCH] Force get_device_size to return an int in OTA manager --- code/ota.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/ota.py b/code/ota.py index 4d1687c3..6bc5888a 100755 --- a/code/ota.py +++ b/code/ota.py @@ -127,7 +127,7 @@ def get_boards(): def get_device_size(device): if device.get('mem_size', 0) == device.get('sdk_size', 0): - return int(device.get('mem_size', 0)) / 1024 + return int(int(device.get('mem_size', 0)) / 1024) return 0