()
| 1932 | bufio = self.tp(writer, 13) |
| 1933 | # Generator of write sizes: repeat each N 15 times then proceed to N+1 |
| 1934 | def gen_sizes(): |
| 1935 | for size in count(1): |
| 1936 | for i in range(15): |
| 1937 | yield size |
| 1938 | sizes = gen_sizes() |
| 1939 | while n < len(contents): |
| 1940 | size = min(next(sizes), len(contents) - n) |