219 |
lprintf_nl () "Renaming edonkey temp-file from %s to %s" |
lprintf_nl () "Renaming edonkey temp-file from %s to %s" |
220 |
filename file_diskname; |
filename file_diskname; |
221 |
Unix2.rename filename file_diskname; |
Unix2.rename filename file_diskname; |
222 |
Unix.chmod file_diskname 0o644; |
Unix2.chmod file_diskname 0o644; |
223 |
with e -> |
with e -> |
224 |
lprintf_nl () "Could not rename %s to %s: exception %s" |
lprintf_nl () "Could not rename %s to %s: exception %s" |
225 |
filename file_diskname (Printexc2.to_string e); |
filename file_diskname (Printexc2.to_string e); |