2024     def format(self, note):  argument
2025         note = note.replace('${PID}', str(self.pid))
2026         note = note.replace('${TID}', str(self.tid))
2027         return note + '\n'
2029     def warn(self, note):  argument
2030         note = self.format(note)
2031         sys.stdout.write(note)
2032         self.notes.append(note)
2034     def info(self, note):  argument
2035         note = self.format(note)
2036         self.notes.append(note)