Skip to content

Commit 47c2e27

Browse files
committed
take pause time into consideration for log entries
1 parent 2d23644 commit 47c2e27

2 files changed

Lines changed: 10 additions & 5 deletions

File tree

plain2code.py

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -125,6 +125,7 @@ def _get_frids_range(plain_source, start, end=None):
125125
def setup_logging(
126126
args,
127127
event_bus: EventBus,
128+
run_state: RunState,
128129
log_to_file: bool,
129130
log_file_name: str,
130131
plain_file_path: Optional[str],
@@ -158,7 +159,7 @@ def setup_logging(
158159
formatter = IndentedFormatter("%(levelname)s:%(name)s:%(message)s")
159160

160161
if not headless:
161-
handler = TuiLoggingHandler(event_bus)
162+
handler = TuiLoggingHandler(event_bus, run_state)
162163
handler.setFormatter(formatter)
163164
root_logger.addHandler(handler)
164165

@@ -313,7 +314,7 @@ def main(): # noqa: C901
313314
# Suppress Rich console output.
314315
console.quiet = True
315316

316-
setup_logging(args, event_bus, args.log_to_file, args.log_file_name, args.filename, args.headless)
317+
setup_logging(args, event_bus, run_state, args.log_to_file, args.log_file_name, args.filename, args.headless)
317318

318319
exc_info = None
319320
try:

plain2code_logger.py

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55

66
from event_bus import EventBus
77
from plain2code_events import LogMessageEmitted
8+
from plain2code_state import RunState
89

910
LOGGER_NAME = "codeplain"
1011

@@ -20,14 +21,17 @@ def format(self, record):
2021

2122

2223
class TuiLoggingHandler(logging.Handler):
23-
def __init__(self, event_bus: EventBus):
24+
def __init__(self, event_bus: EventBus, run_state: RunState):
2425
super().__init__()
2526
self.event_bus = event_bus
26-
self.start_time = time.time()
27+
self.run_state = run_state
2728

2829
def emit(self, record):
2930
try:
30-
offset_seconds = int(record.created - self.start_time)
31+
offset_seconds = self.run_state.render_time_accumulated + int(
32+
time.monotonic() - self.run_state.last_render_start_timestamp
33+
)
34+
3135
hours = offset_seconds // 3600
3236
minutes = (offset_seconds % 3600) // 60
3337
seconds = offset_seconds % 60

0 commit comments

Comments
 (0)