1524
1524
def insert_stream(self, stream, src_format, resume_tokens):
1529
1537
# No possible way this can work.
1530
1538
return self._insert_real(stream, src_format, resume_tokens)
1533
1541
# XXX: Ugly but important for correctness, *will* be fixed during
1534
1542
# 1.13 cycle. Pushing a stream that is interrupted results in a