def read_ins(): start_time = time.time() count = 0 while(count < points): buffer_heading[count] = ins.readline() count = count + 1 print "INS collection time: "+str(time.time() - start_time) return
def write_file(): try: while(1 and not stop): f.write(ins.readline()) except: return