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)
PLC/Leases.py

index 66e7902..9da3d3b 100644 (file)
@@ -53,7 +53,7 @@ class Lease(Row):
         if round_up:
             timestamp += (granularity-1)
         # round down
-        timestamp = (timestamp/granularity) * granularity
+        timestamp = (timestamp // granularity) * granularity
         # return a SQL string
         return Timestamp.sql_validate_utc(timestamp)