diff --git a/flatland/utils/rendertools.py b/flatland/utils/rendertools.py index aba58fb2d86163242890eee8d4dc21c57405eac2..1f731c39f024f4cf8d10a5ad70171ba0b60b260d 100644 --- a/flatland/utils/rendertools.py +++ b/flatland/utils/rendertools.py @@ -501,7 +501,7 @@ class RenderTool(object): env = self.env - t1 = time.time() + # t1 = time.time() # Draw cells grid grid_color = [0.95, 0.95, 0.95] @@ -658,7 +658,7 @@ class RenderTool(object): self.gl.endFrame() - t2 = time.time() + # t2 = time.time() # print(t2 - t1, "seconds") if show: