(self, s)
| 125 | def __init__(self, prefix=''): |
| 126 | self.prefix = prefix |
| 127 | def WriteLine(self, s): |
| 128 | lines = s.split('\n') |
| 129 | for line in lines: |
| 130 | if line: |
| 131 | print self.prefix, line |
| 132 | else: |
| 133 | |
| 134 | |
| 135 | # --------------------------------------------------------------------------------- |
| 136 | # Some third python module knows how to discover the current user's name |