##// END OF EJS Templates
phases: line.strip().split() == line.split()
Martin Geisler -
r16588:72319bfd default
parent child Browse files
Show More
@@ -113,7 +113,7 b' def readroots(repo):'
113 f = repo.sopener('phaseroots')
113 f = repo.sopener('phaseroots')
114 try:
114 try:
115 for line in f:
115 for line in f:
116 phase, nh = line.strip().split()
116 phase, nh = line.split()
117 roots[int(phase)].add(bin(nh))
117 roots[int(phase)].add(bin(nh))
118 finally:
118 finally:
119 f.close()
119 f.close()
General Comments 0
You need to be logged in to leave comments. Login now