/[mldonkey]/mldonkey/src/gtk2/gui/gui_installer.ml
ViewVC logotype

Diff of /mldonkey/src/gtk2/gui/gui_installer.ml

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

revision 1.1 by spiralvoice, Wed Mar 2 19:45:12 2005 UTC revision 1.2 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.1  
changed lines
  Added in v.1.2

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