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>
Fri, 2 Jul 2021 15:38:00 +0000 (16:38 +0100)
commit74d044d51b19bb697eac5c3deafa140f6afafec8
treeafd9545270f85b11eaefa9402ec42f046a5f91dc
parent67a50e393a59367ba2ad475e141a6739e17260f9
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>
tools/python/scripts/convert-legacy-stream