def writeline(self, msg):
self.write(msg)<EOL>self.output.append('<STR_LIT>')<EOL>return<EOL>
used to write to a debugger that is connected to this
        server; Here, we use the null string '' as an indicator of a
        newline.