diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/tools/presentation/input_data_parser.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/resources/tools/presentation/input_data_parser.py b/resources/tools/presentation/input_data_parser.py index 987b9964bc..cd9c1a248d 100644 --- a/resources/tools/presentation/input_data_parser.py +++ b/resources/tools/presentation/input_data_parser.py @@ -1594,6 +1594,11 @@ class InputData: if not isfile(local_file): raise PresentationError(f"The file {local_file} does not exist.") + try: + build_nr = int(local_file.split(u"/")[-1].split(u".")[0]) + except (IndexError, ValueError): + pass + build = { u"build": build_nr, u"status": u"failed", |