(self, profile=None)
| 671 | |
| 672 | class ProfileBrowser(cmd.Cmd): |
| 673 | def __init__(self, profile=None): |
| 674 | cmd.Cmd.__init__(self) |
| 675 | self.prompt = "% " |
| 676 | self.stats = None |
| 677 | self.stream = sys.stdout |
| 678 | if profile is not None: |
| 679 | self.do_read(profile) |
| 680 | |
| 681 | def generic(self, fn, line): |
| 682 | args = line.split() |