(self, name)
| 3700 | return True |
| 3701 | |
| 3702 | def get_dump_formatter(self, name): |
| 3703 | if name is None: |
| 3704 | return self.default_formatter |
| 3705 | else: |
| 3706 | if not DUMP_FILE_RE.match(name): |
| 3707 | raise WebParameterError("Invalid name '%s'" % name) |
| 3708 | formatter = self.formatters.get(name, None) |
| 3709 | if formatter is None: |
| 3710 | try: |
| 3711 | formatter = InspectionWebFormatter( |
| 3712 | self.switches, os.path.join(self.dumppath, name), self) |
| 3713 | self.formatters[name] = formatter |
| 3714 | except IOError: |
| 3715 | raise WebParameterError("Could not open dump '%s'" % name) |
| 3716 | return formatter |
| 3717 | |
| 3718 | def output_dumps(self, f): |
| 3719 | f.write(WEB_DUMPS_HEADER) |
no test coverage detected