| 694 | print("Leave the profile browser.", file=self.stream) |
| 695 | |
| 696 | def do_read(self, line): |
| 697 | if line: |
| 698 | try: |
| 699 | self.stats = Stats(line) |
| 700 | except OSError as err: |
| 701 | print(err.args[1], file=self.stream) |
| 702 | return |
| 703 | except Exception as err: |
| 704 | print(err.__class__.__name__ + ':', err, file=self.stream) |
| 705 | return |
| 706 | self.prompt = line + "% " |
| 707 | elif len(self.prompt) > 2: |
| 708 | line = self.prompt[:-2] |
| 709 | self.do_read(line) |
| 710 | else: |
| 711 | print("No statistics object is current -- cannot reload.", file=self.stream) |
| 712 | return 0 |
| 713 | def help_read(self): |
| 714 | print("Read in profile data from a specified file.", file=self.stream) |
| 715 | print("Without argument, reload the current file.", file=self.stream) |