run.py

This only applies if the executed tool did return an error exit code.
Failure due to timeouts are not considered.