changeset 13031 | 3da456d0c885 |
parent 12764 | ad2506f097d3 |
child 13238 | 1b591f9b7fd2 |
13030:8ea51e9e7031 | 13031:3da456d0c885 |
---|---|
587 |
587 |
588 All topics should be marked closed by setting pos to None at |
588 All topics should be marked closed by setting pos to None at |
589 termination. |
589 termination. |
590 ''' |
590 ''' |
591 |
591 |
592 if pos == None or not self.debugflag: |
592 if pos is None or not self.debugflag: |
593 return |
593 return |
594 |
594 |
595 if unit: |
595 if unit: |
596 unit = ' ' + unit |
596 unit = ' ' + unit |
597 if item: |
597 if item: |