equal
deleted
inserted
replaced
134 self.logf = logf |
134 self.logf = logf |
135 |
135 |
136 def write(self, s, style=None): |
136 def write(self, s, style=None): |
137 if self.logf is not None: |
137 if self.logf is not None: |
138 self.logf.write(s) |
138 self.logf.write(s) |
|
139 self.logf.flush() |
139 self.StackLock.acquire() |
140 self.StackLock.acquire() |
140 self.stack.append((s, style)) |
141 self.stack.append((s, style)) |
141 self.StackLock.release() |
142 self.StackLock.release() |
142 current_time = gettime() |
143 current_time = gettime() |
143 with self.TimerAccessLock: |
144 with self.TimerAccessLock: |