Handle hostnames with upper-case letters

[webmin.git] / web-lib.pl

diff --git a/web-lib.pl b/web-lib.pl
index 82bb66f..4bac1eb 100755 (executable)
--- a/web-lib.pl
+++ b/web-lib.pl
@@ -1,17 +1,3 @@
-=head1 web-lib.pl
-
-This file must be included by all Webmin CGI scripts, either directly or via
-another module-specific .pl file. For example :
-
- do '../web-lib.pl';
- init_config();
- do '../ui-lib.pl';
- ui_print_header(undef, 'My Module', '');
-
-This file in turn includes web-lib-funcs.pl, which is where the majority of
-the Webmin API functions are defined.
-
-=cut
 
 @INC = &unique(@INC, ".");
 %month_to_number_map = ( 'jan' => 0, 'feb' => 1, 'mar' => 2, 'apr' => 3,
@@ -23,8 +9,6 @@ $main::default_debug_log_size = 10*1024*1024;
 $webmin_feedback_address = "feedback\@webmin.com";
 $default_lang = "en";
 $default_charset = "iso-8859-1";
-$osdn_download_host = "prdownloads.sourceforge.net";
-$osdn_download_port = 80;
 
 =head2 unique(string, ...)