comparison: header.py
header.py
- changeset 79
- eb93feb6d3a3
- parent 77
- d98502ae1f33
- child 84
- 55d52e25267f
equal
deleted
inserted
replaced
| 78:1970afe52da4 | 79:eb93feb6d3a3 |
|---|---|
| 25 def effective_filetype(self): | 25 def effective_filetype(self): |
| 26 if self.filetype.startswith('Unofficial_'): | 26 if self.filetype.startswith('Unofficial_'): |
| 27 return self.filetype.rsplit('Unofficial_')[1] | 27 return self.filetype.rsplit('Unofficial_')[1] |
| 28 else: | 28 else: |
| 29 return self.filetype | 29 return self.filetype |
| 30 @property | |
| 31 def effective_category(self): | |
| 32 if self.category: | |
| 33 return self.category | |
| 34 else: | |
| 35 return self.description.split(' ', 1)[0] | |
| 30 | 36 |
| 31 class BadHeader: | 37 class BadHeader: |
| 32 def __init__(self, index, reason): | 38 def __init__(self, index, reason): |
| 33 self.index = index | 39 self.index = index |
| 34 self.reason = reason | 40 self.reason = reason |
