##// 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 113 f = repo.sopener('phaseroots')
114 114 try:
115 115 for line in f:
116 phase, nh = line.strip().split()
116 phase, nh = line.split()
117 117 roots[int(phase)].add(bin(nh))
118 118 finally:
119 119 f.close()
General Comments 0
You need to be logged in to leave comments. Login now