86 |
lprintf "Exception %s to create dir %s\n" |
lprintf "Exception %s to create dir %s\n" |
87 |
(Printexc2.to_string e) file_basedir; |
(Printexc2.to_string e) file_basedir; |
88 |
exit 2); |
exit 2); |
89 |
|
Unix2.can_write_to_directory file_basedir; |
90 |
Unix.chdir file_basedir; |
Unix.chdir file_basedir; |
91 |
|
|
92 |
if Sys.file_exists "mlnet.pid" then |
if Sys.file_exists "mlnet.pid" then |
109 |
Filename.concat config_dir "mlnet_strings" |
Filename.concat config_dir "mlnet_strings" |
110 |
in |
in |
111 |
Unix2.safe_mkdir (Filename.dirname filename); |
Unix2.safe_mkdir (Filename.dirname filename); |
112 |
|
Unix2.can_write_to_directory (Filename.dirname filename); |
113 |
set_strings_file filename |
set_strings_file filename |
114 |
|
|
115 |
|
|