126 |
(try |
(try |
127 |
set_file_disk_name file new_name; |
set_file_disk_name file new_name; |
128 |
if Unix2.is_directory new_name then |
if Unix2.is_directory new_name then |
129 |
Unix.chmod new_name (Misc.int_of_octal_string !!create_dir_mask); |
Unix2.chmod new_name (Misc.int_of_octal_string !!create_dir_mask); |
130 |
let best_name = file_best_name file in |
let best_name = file_best_name file in |
131 |
Unix32.destroy (file_fd file); |
Unix32.destroy (file_fd file); |
132 |
if !verbose_files then lprintf_nl "[cInt] file_commit: destroyed"; |
if !verbose_files then lprintf_nl "[cInt] file_commit: destroyed"; |