CLIController.py
changeset 3548 da7b461f54b7
parent 3539 c2eec6aae07e
child 3619 f75b11506fb2
equal deleted inserted replaced
3547:8a9a7d180b93 3548:da7b461f54b7
    20     def write(self, s):
    20     def write(self, s):
    21         if s:
    21         if s:
    22             if self.crlfpending:
    22             if self.crlfpending:
    23                 sys.stdout.write("\n")
    23                 sys.stdout.write("\n")
    24             sys.stdout.write(s)
    24             sys.stdout.write(s)
       
    25             sys.stdout.flush()
    25             self.crlfpending = 0
    26             self.crlfpending = 0
    26 
    27 
    27     def write_error(self, s):
    28     def write_error(self, s):
    28         if s:
    29         if s:
    29             self.write("Error: "+s)
    30             self.write("Error: "+s)