28 |
|
|
29 |
let max_buffered = ref (Int64.of_int (1024*1024)) |
let max_buffered = ref (Int64.of_int (1024*1024)) |
30 |
|
|
31 |
|
let create_dir_mask = ref "755" |
32 |
let verbose = false |
let verbose = false |
33 |
let max_cache_size = ref 50 |
let max_cache_size = ref 50 |
34 |
|
|
142 |
close t; |
close t; |
143 |
(let d = (Filename.dirname (Filename.concat f file)) in |
(let d = (Filename.dirname (Filename.concat f file)) in |
144 |
Unix2.safe_mkdir d; |
Unix2.safe_mkdir d; |
145 |
Unix.chmod d 0o777; |
Unix.chmod d (Misc.int_of_octal_string !create_dir_mask); |
146 |
Unix2.can_write_to_directory d); |
Unix2.can_write_to_directory d); |
147 |
Unix2.rename t.filename (Filename.concat f file); |
Unix2.rename t.filename (Filename.concat f file); |
148 |
destroy t |
destroy t |