From e990f50ad3bd8c01c8006637c7b416e9bd0e58aa Mon Sep 17 00:00:00 2001
From: parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 14 Jan 2019 12:12:26 +0100
Subject: [PATCH] use // instead of / when rounding timestamp in Lease

---
 PLC/Leases.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PLC/Leases.py b/PLC/Leases.py
index 66e7902..9da3d3b 100644
--- a/PLC/Leases.py
+++ b/PLC/Leases.py
@@ -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)
 
-- 
2.43.0