From b3162e11bd5a3daba5b5c50bd2113ce4da9e807b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=9E=D0=BB=D0=B5=D0=BA=D1=81=D0=B0=D0=BD=D0=B4=D1=80=20?= =?UTF-8?q?=D0=93=D1=83=D1=80=D0=B0=D0=BD=D0=B5=D1=86=D1=8C?= Date: Wed, 25 Feb 2026 12:35:58 +0200 Subject: [PATCH] Refactor FileDatasource: remove unused header detection variables --- agent/src/file_datasource.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/agent/src/file_datasource.py b/agent/src/file_datasource.py index 90e5ba3..03143d2 100644 --- a/agent/src/file_datasource.py +++ b/agent/src/file_datasource.py @@ -104,7 +104,7 @@ class FileDatasource: self._acc_f.seek(0) self._acc_reader = csv.reader(self._acc_f, skipinitialspace=True) next(self._acc_reader) # Skip header row - self._acc_has_header, _ = self._detect_header_and_buffer( + _ = self._detect_header_and_buffer( self._acc_reader, expected_cols=3, header_tokens=("x", "y", "z") ) @@ -114,7 +114,7 @@ class FileDatasource: self._gps_f.seek(0) self._gps_reader = csv.reader(self._gps_f, skipinitialspace=True) next(self._gps_reader) # Skip header row - self._gps_has_header, _ = self._detect_header_and_buffer( + _ = self._detect_header_and_buffer( self._gps_reader, expected_cols=2, header_tokens=("longitude", "latitude") )