From 9bc760f2374198c379180e5b563c0552cba112bd Mon Sep 17 00:00:00 2001 From: thepurpleblob Date: Tue, 6 May 2008 14:51:30 +0000 Subject: [PATCH] MDL-14659 Add bypass list for proxy usage. --- admin/settings/server.php | 1 + lang/en_utf8/admin.php | 2 ++ 2 files changed, 3 insertions(+) diff --git a/admin/settings/server.php b/admin/settings/server.php index ef8c48322d..472f106e87 100644 --- a/admin/settings/server.php +++ b/admin/settings/server.php @@ -156,6 +156,7 @@ if (defined('CURLPROXY_SOCKS5')) { $temp->add(new admin_setting_configselect('proxytype', get_string('proxytype', 'admin'), get_string('configproxytype','admin'), 'HTTP', $options)); $temp->add(new admin_setting_configtext('proxyuser', get_string('proxyuser', 'admin'), get_string('configproxyuser', 'admin'), '')); $temp->add(new admin_setting_configpasswordunmask('proxypassword', get_string('proxypassword', 'admin'), get_string('configproxypassword', 'admin'), '')); +$temp->add(new admin_setting_configtext('proxybypass', get_string('proxybypass', 'admin'), get_string('configproxybypass', 'admin'), 'localhost, 127.0.0.1')); $ADMIN->add('server', $temp); $ADMIN->add('server', new admin_externalpage('maintenancemode', get_string('sitemaintenancemode', 'admin'), "$CFG->wwwroot/$CFG->admin/maintenance.php")); diff --git a/lang/en_utf8/admin.php b/lang/en_utf8/admin.php index db437f0fc6..55232c0c72 100644 --- a/lang/en_utf8/admin.php +++ b/lang/en_utf8/admin.php @@ -176,6 +176,7 @@ $string['configpathtoclam'] = 'Path to clam AV. Probably something like /usr/bi $string['configpathtodu'] = 'Path to du. Probably something like /usr/bin/du. If you enter this, pages that display directory contents will run much faster for directories with a lot of files.'; $string['configperfdebug'] = 'If you turn this on, performance info will be printed in the footer of the standard theme'; $string['configprotectusernames'] = 'By default forget_password.php does not display any hints that would allow guessing of usernames or email addresses.'; +$string['configproxybypass'] = 'Comma separated list of (partial) hostnames or IPs that should bypass proxy (e.g., 192.168., .mydomain.com)'; $string['configproxyhost'] = 'If this server needs to use a proxy computer (eg a firewall) to access the Internet, then provide the proxy hostname here. Otherwise leave it blank.'; $string['configproxypassword'] = 'Password needed to access internet through proxy if required, empty if none (PHP cURL extension required).'; $string['configproxyport'] = 'If this server needs to use a proxy computer, then provide the proxy port here.'; @@ -578,6 +579,7 @@ $string['profilevisiblenone'] = 'Not visible'; $string['profilevisibleprivate'] = 'Visible to user'; $string['profilevisible'] = 'Who is this field visible to?'; $string['protectusernames'] = 'Protect usernames'; +$string['proxybypass'] = 'Proxy bypass hosts'; $string['proxyhost'] = 'Proxy host'; $string['proxyport'] = 'Proxy port'; $string['proxypassword'] = 'Proxy password'; -- 2.39.5