Apply result file directory fix to awsexecutor.py
The fix for the benchmarkclient executor looks also like it is
the right thing to do for the aws executor, since this one seems
to just have copied the code from there.
@@ -515,9 +515,7 @@ def handleCloudResults(benchmark, output_handler, start_time, end_time):
raw_path = run.log_file[: -len(".log")]
dirname, filename = os.path.split(raw_path)
aws_files_directory = raw_path + ".files"
- benchexec_files_directory = os.path.join(
- dirname[: -len(".logfiles")] + ".files", filename
- )
+ benchexecFilesDirectory = run.result_files_folder
if os.path.isdir(aws_files_directory) and not os.path.isdir(
benchexec_files_directory
):
