changeset 13:1cd5c7952aaa default tip

fix failure to read first line of Air/Lava, keep me from swimming in Lava, again!
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Sun, 30 Jan 2022 14:49:33 -0500
parents 1e42c0147a49
children
files python/safe.py
diffstat 1 files changed, 2 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/python/safe.py	Sat Dec 11 16:30:29 2021 -0500
+++ b/python/safe.py	Sun Jan 30 14:49:33 2022 -0500
@@ -37,8 +37,8 @@
     for k,yy in tc.items():
       tyy=[yy]
       ii=[]
-      if k==(108.5, -45.5):
-        pass
+#      if k==(108.5, -45.5):  WTF??
+#        pass
       while True:
         clean=True
         for j,yy in enumerate(tyy):
@@ -56,7 +56,6 @@
       self.columns[k]=set(ii) # so we can merge later
 
   def readPoints(self,file):
-    file.readline()
     self.points=[[float(i) for i in l.split('\t')[2].split('/')] for l in file]
 
 Block.readHeaders=readHeaders # from util