(self, name, description)
| 3688 | (html.escape(name), desc)) |
| 3689 | |
| 3690 | def set_dump_desc(self, name, description): |
| 3691 | if not DUMP_FILE_RE.match(name): |
| 3692 | return False |
| 3693 | fname = os.path.join(self.dumppath, name) |
| 3694 | if not os.path.isfile(fname): |
| 3695 | return False |
| 3696 | fname = fname + ".desc" |
| 3697 | descfile = open(fname, "w") |
| 3698 | descfile.write(description) |
| 3699 | descfile.close() |
| 3700 | return True |
| 3701 | |
| 3702 | def get_dump_formatter(self, name): |
| 3703 | if name is None: |