Parent Directory | Revision Log | Patch
revision 1.1 by spiralvoice, Wed Mar 2 19:45:11 2005 UTC | revision 1.2 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC | |
---|---|---|
# | Line 10 let message_file_name = try | Line 10 let message_file_name = try |
10 | Sys.getenv "MLDONKEY_GUI_MESSAGES" | Sys.getenv "MLDONKEY_GUI_MESSAGES" |
11 | with _ -> | with _ -> |
12 | let filename = | let filename = |
13 | Filename.concat CommonOptions.config_dir "gtk2gui_messages.ini" | Filename.concat CommonOptions.home_dir "gtk2gui_messages.ini" |
14 | in | in |
15 | Unix2.safe_mkdir (Filename.dirname filename); | Unix2.safe_mkdir (Filename.dirname filename); |
16 | filename | filename |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |