equal
deleted
inserted
replaced
406 self.OldestMessages.append((msgidx, new_message)) |
406 self.OldestMessages.append((msgidx, new_message)) |
407 if len(new_messages) == 0 or new_message > new_messages[0]: |
407 if len(new_messages) == 0 or new_message > new_messages[0]: |
408 new_messages = [new_message] |
408 new_messages = [new_message] |
409 else: |
409 else: |
410 new_messages.insert(0, new_message) |
410 new_messages.insert(0, new_message) |
411 else: |
411 if prev is None and len(self.OldestMessages) <= level: |
412 if prev is None: |
412 self.OldestMessages.append((-1, None)) |
413 self.OldestMessages.append((-1, None)) |
|
414 break |
|
415 self.previous_log_count[level] = count |
413 self.previous_log_count[level] = count |
416 new_messages.sort() |
414 new_messages.sort() |
417 if len(new_messages) > 0: |
415 if len(new_messages) > 0: |
418 self.HasNewData = True |
416 self.HasNewData = True |
419 if self.CurrentMessage is not None: |
417 if self.CurrentMessage is not None: |