equal
deleted
inserted
replaced
1425 def changegroup(self, basenodes): |
1425 def changegroup(self, basenodes): |
1426 class genread: |
1426 class genread: |
1427 def __init__(self, generator): |
1427 def __init__(self, generator): |
1428 self.g = generator |
1428 self.g = generator |
1429 self.buf = "" |
1429 self.buf = "" |
|
1430 def fillbuf(self): |
|
1431 self.buf += "".join(self.g) |
|
1432 |
1430 def read(self, l): |
1433 def read(self, l): |
1431 while l > len(self.buf): |
1434 while l > len(self.buf): |
1432 try: |
1435 try: |
1433 self.buf += self.g.next() |
1436 self.buf += self.g.next() |
1434 except StopIteration: |
1437 except StopIteration: |