use // instead of / when rounding timestamp in Lease
authorparmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Jan 2019 11:12:26 +0000 (12:12 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Jan 2019 11:12:26 +0000 (12:12 +0100)
commite990f50ad3bd8c01c8006637c7b416e9bd0e58aa
treea18b7590024ac3e3d2c573e86b33a5bf15b0f715
parentfc449e5949b29fa9ac1e7da905d8de5d2cbbe638
use // instead of / when rounding timestamp in Lease
PLC/Leases.py