[actions] add 'abort' and 'terminate' actions (#5778)

This commit is contained in:
Mike Fährmann
2024-06-29 19:03:49 +02:00
parent d80f4fbc10
commit c9860002ba
3 changed files with 22 additions and 6 deletions

View File

@@ -299,6 +299,8 @@ def main():
else:
input_manager.success()
except exception.StopExtraction:
pass
except exception.TerminateExtraction:
pass
except exception.RestartExtraction: