tools: use integer division in convert-legacy-stream
authorOlaf Hering <olaf@aepfle.de>
Thu, 1 Jul 2021 09:55:59 +0000 (11:55 +0200)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 15 Jul 2021 10:59:32 +0000 (11:59 +0100)
commit23d5e3d42cbf1673aa8c9c2d9601009e24077afc
tree106147c8730bb5ef138257925d24d871f136ffca
parent3cfccd70992b3d2b739e3febfceb99fdf6283be0
tools: use integer division in convert-legacy-stream

A single slash gives a float, a double slash gives an int.

    bitmap = unpack_exact("Q" * ((max_id/64) + 1))
TypeError: can't multiply sequence by non-int of type 'float'

Use future division to remain compatible with python 2.

Signed-off-by: Olaf Hering <olaf@aepfle.de>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
(cherry picked from commit 74d044d51b19bb697eac5c3deafa140f6afafec8)
tools/python/scripts/convert-legacy-stream