Parent Directory | Revision Log | Patch
revision 1.29 by spiralvoice, Sat Jun 25 01:07:05 2005 UTC | revision 1.30 by spiralvoice, Tue Jun 28 23:17:07 2005 UTC | |
---|---|---|
# | Line 629 let remove_server ip port = | Line 629 let remove_server ip port = |
629 | let config_files_loaded = ref false | let config_files_loaded = ref false |
630 | ||
631 | let load _ = | let load _ = |
632 | lprintf "EDK: Loading shared files\n"; | if !verbose then lprintf "EDK: Loading shared files\n"; |
633 | (try | (try |
634 | Options.load shared_files_ini; | Options.load shared_files_ini; |
635 | Options.load stats_ini; | Options.load stats_ini; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |