/* * Creates a new numbered workfile in a given set * * The given file_no is used to generate the file name */ ExecWorkFile * workfile_mgr_create_fileno(workfile_set *work_set, uint32 file_no) { Assert(NULL != work_set); char file_name[MAXPGPATH]; retrieve_file_no(work_set, file_no, file_name, sizeof(file_name)); bool del_on_close = !work_set->can_be_reused; ExecWorkFile *ewfile = ExecWorkFile_Create(file_name, work_set->metadata.type, del_on_close, work_set->metadata.bfz_compress_type); ExecWorkfile_SetWorkset(ewfile, work_set); return ewfile; }
/* * Creates a new numbered workfile in a given set * * The given file_no is used to generate the file name */ ExecWorkFile * workfile_mgr_create_fileno(workfile_set *work_set, uint32 file_no) { Assert(NULL != work_set); char file_name[MAXPGPATH]; retrieve_file_no(work_set, file_no, file_name, sizeof(file_name)); ExecWorkFile *ewfile = ExecWorkFile_Create(file_name, work_set->metadata.type, true /* del_on_close */, work_set->metadata.bfz_compress_type); SIMPLE_FAULT_INJECTOR(WorkfileCreationFail); ExecWorkfile_SetWorkset(ewfile, work_set); return ewfile; }