From 1c9f3eccefac3592162be9a1b521a4ae846f2520 Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Tue, 22 Mar 2022 11:11:32 +0100 Subject: [PATCH] replace backslashes with regular slashes --- fsfwgen/events/event_parser.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/fsfwgen/events/event_parser.py b/fsfwgen/events/event_parser.py index aad4103..05872d1 100644 --- a/fsfwgen/events/event_parser.py +++ b/fsfwgen/events/event_parser.py @@ -229,6 +229,8 @@ class EventParser(FileParser): pass if self.obsw_root_path is not None: file_name = os.path.relpath(file_name, self.obsw_root_path) + # Replace backslashes with regular slashes + file_name.replace("\\", "/") self.mib_table.update( {full_id: (string_to_add, severity, description, file_name)} )