Handle hostnames with upper-case letters

[webmin.git] / web-lib.pl

diff --git a/web-lib.pl b/web-lib.pl
index 0524547..4bac1eb 100755 (executable)
--- a/web-lib.pl
+++ b/web-lib.pl
@@ -9,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, ...)