# HG changeset patch # User Matti Hamalainen # Date 1422003467 -7200 # Node ID f47b41d2be646ed639631caaa2a67998f4fdc08e # Parent d3ba5847cbda131297b7c36747acc81fd38f2491 feeds: Cosmetics. diff -r d3ba5847cbda -r f47b41d2be64 fetch_feeds.tcl --- a/fetch_feeds.tcl Fri Jan 23 10:54:44 2015 +0200 +++ b/fetch_feeds.tcl Fri Jan 23 10:57:47 2015 +0200 @@ -31,11 +31,13 @@ set html_ent [split [encoding convertfrom "utf-8" $feeds_ent_str] "|"] package require http + if {[info exists http_user_agent] && $http_user_agent != ""} { ::http::config -urlencoding iso8859-1 -useragent $http_user_agent } else { ::http::config -urlencoding iso8859-1 -useragent "Mozilla/4.0 (compatible; MSIE 6.0; MSIE 5.5; Windows NT 5.0) Opera 9.5" } + if {[info exists http_use_proxy] && $http_use_proxy != 0} { ::http::config -proxyhost $http_proxy_host -proxyport $http_proxy_port }