Fix inconsistent $proxy_host handling in apt and apt::ppa.
authorDaniel Friesen <daniel@nadir-seen-fire.com>
Thu, 10 Jul 2014 23:38:45 +0000 (16:38 -0700)
committerDaniel Friesen <daniel@nadir-seen-fire.com>
Thu, 10 Jul 2014 23:57:38 +0000 (16:57 -0700)
commit0c2329bd57c383a1562cad474284dbf28c15d234
tree05a59742b1b0bfb30b2f45ca2686ac70e27c97e8
parent06b5dc232b30e08da19374ed7c0f4f5b0a8f1262
Fix inconsistent $proxy_host handling in apt and apt::ppa.

- The default for $proxy_host is undef
- apt considers $proxy_set to be absent if $proxy_host is undef
- apt::ppa considers proxy_env to be empty if $proxy_host is false or ''

This results in apt::ppa to consider $proxy_host to be set when the default undef is used
breaking ppa resources because $proxy_env becomes:
  [http_proxy=http://:8080, https_proxy=http://:8080]

Fix this by making both apt and apt::ppa consider $proxy_host to be unset when it is
any of false, '', or undef.
manifests/init.pp
manifests/ppa.pp