equal
deleted
inserted
replaced
179 if cachefile: |
179 if cachefile: |
180 try: |
180 try: |
181 for line in cachelines: |
181 for line in cachelines: |
182 if line == "\n": |
182 if line == "\n": |
183 break |
183 break |
184 line = line.rstrip().split() |
184 line = line.split() |
185 cacherevs.append(int(line[0])) |
185 cacherevs.append(int(line[0])) |
186 headnode = bin(line[1]) |
186 headnode = bin(line[1]) |
187 cacheheads.append(headnode) |
187 cacheheads.append(headnode) |
188 if len(line) == 3: |
188 if len(line) == 3: |
189 fnode = bin(line[2]) |
189 fnode = bin(line[2]) |