Parent Directory | Revision Log | Patch
revision 1.34 by spiralvoice, Thu Jun 2 17:43:03 2005 UTC | revision 1.35 by spiralvoice, Fri Jun 3 00:23:11 2005 UTC | |
---|---|---|
# | Line 122 let file_commit file = | Line 122 let file_commit file = |
122 | in | in |
123 | let new_name = file_commited_name | let new_name = file_commited_name |
124 | incoming.shdir_dirname file in | incoming.shdir_dirname file in |
125 | if Unix2.is_directory file_name then Unix2.safe_mkdir new_name; | if Unix2.is_directory file_name then |
126 | begin | |
127 | Unix2.safe_mkdir new_name; | |
128 | Unix.chmod new_name 0o777 | |
129 | end; | |
130 | (try | (try |
131 | set_file_disk_name file new_name; | set_file_disk_name file new_name; |
132 | let best_name = file_best_name file in | let best_name = file_best_name file in |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |