equal
deleted
inserted
replaced
794 a label of "status.modified" for modified files. |
794 a label of "status.modified" for modified files. |
795 ''' |
795 ''' |
796 if self._buffers and not opts.get('prompt', False): |
796 if self._buffers and not opts.get('prompt', False): |
797 self._buffers[-1].extend(a for a in args) |
797 self._buffers[-1].extend(a for a in args) |
798 else: |
798 else: |
|
799 self._write(*args, **opts) |
|
800 |
|
801 def _write(self, *msgs, **opts): |
799 self._progclear() |
802 self._progclear() |
800 # opencode timeblockedsection because this is a critical path |
803 # opencode timeblockedsection because this is a critical path |
801 starttime = util.timer() |
804 starttime = util.timer() |
802 try: |
805 try: |
803 for a in args: |
806 for a in msgs: |
804 self.fout.write(a) |
807 self.fout.write(a) |
805 finally: |
808 finally: |
806 self._blockedtimes['stdio_blocked'] += \ |
809 self._blockedtimes['stdio_blocked'] += \ |
807 (util.timer() - starttime) * 1000 |
810 (util.timer() - starttime) * 1000 |
808 |
811 |