/[mldonkey]/mldonkey/src/gtk/newgui/gui_installer.ml
ViewVC logotype

Diff of /mldonkey/src/gtk/newgui/gui_installer.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.4 by mldonkey, Sun Mar 7 09:34:25 2004 UTC revision 1.5 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC
# Line 36  that should also be loaded at startup by Line 36  that should also be loaded at startup by
36    
37        
38        
39  let _ = Unix2.safe_mkdir CommonOptions.config_dir  let _ = Unix2.safe_mkdir CommonOptions.home_dir
40  let installer_name = Filename.concat CommonOptions.config_dir "installer.ini"  let installer_name = Filename.concat CommonOptions.home_dir "installer.ini"
   
   (*  
 let installer_ini = create_options_file installer_name  
     
 let mldonkey_directory =  
   define_option CommonOptions.installer_section ["mldonkey_directory"]  
     "The directory where mldonkey's option files are" string_option  
   config_dir  
     *)  
41    
42  let _ =  let _ =
43    (try Options.load CommonOptions.installer_ini with _ -> ())    (try Options.load CommonOptions.installer_ini with _ -> ())

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26