From 96225314f5eb21557ed224eae7563fdf38e3028d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Vinot?= Date: Tue, 23 Jan 2024 17:45:32 +0100 Subject: [PATCH] fix: Make mypy happy. --- tools/monitoring.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tools/monitoring.py b/tools/monitoring.py index 11525a9..c057d4e 100755 --- a/tools/monitoring.py +++ b/tools/monitoring.py @@ -133,12 +133,12 @@ if __name__ == '__main__': console.print(s) if m.lacus is not None: - status = m.lacus_status() + lacus_status = m.lacus_status() console.print('Lacus status:') - if status['is_busy']: + if lacus_status['is_busy']: console.print(Padding('[red]WARNING[/red]: Lacus is busy.', (0, 2))) - console.print(Padding(f'Ongoing captures: {status["ongoing_captures"]}', (0, 2))) - console.print(Padding(f'Enqueued captures: {status["enqueued_captures"]}', (0, 2))) + console.print(Padding(f'Ongoing captures: {lacus_status["ongoing_captures"]}', (0, 2))) + console.print(Padding(f'Enqueued captures: {lacus_status["enqueued_captures"]}', (0, 2))) console.print('Current queues:') for q, priority in m.queues: