// When execution is said to succeed, we still cannot be sure whether temporary file exists or not.
// If the process being executed was the debugger process,
// it would exit normally even if the process it was debugging
// (i.e. the generated transformation process) crashed
private void ExecutionSucceeded([NotNull] IT4File file)
{
Logger.Verbose("Execution of a file succeeded");
Logger.Catch(() =>
{
// This call is not expected to fail, but just in case
using (WriteLockCookie.Create())
{
TargetFileManager.TryProcessExecutionResults(file);
}
});
ExecutionManager.OnExecutionFinished(file);
}
