@using System.IO
@{
    ReportOutput output = Model;
    
    var resultPath = output.Report.ResultFilePath;
    var newResultPath = Path.Combine(Path.GetDirectoryName(resultPath),Path.GetFileNameWithoutExtension(resultPath) + ".txt");
    if (File.Exists(newResultPath)) {
        File.Delete(newResultPath);
    }
    File.Move(resultPath, newResultPath);
    output.Report.ResultFilePath = newResultPath;
}