1 diff -Naur gdesklets-0.36.3.orig/shell/plugins/PackageInstaller/Downloader.py gdesklets-0.36.3/shell/plugins/PackageInstaller/Downloader.py
2 --- gdesklets-0.36.3.orig/shell/plugins/PackageInstaller/Downloader.py 2008-03-20 00:00:58.000000000 +0100
3 +++ gdesklets-0.36.3/shell/plugins/PackageInstaller/Downloader.py 2012-01-10 02:58:26.451869752 +0100
6 dest_fd = open(dest, "w")
9 - client = gconf.client_get_default()
10 - use_proxy = client.get_bool('/system/http_proxy/use_http_proxy')
11 - if (use_proxy != 0):
12 - host = client.get_string('/system/http_proxy/host')
13 - port = client.get_int('/system/http_proxy/port')
15 - http_proxy = "http://" + host + ':' + str(port)
23 + client = gconf.client_get_default()
24 + use_proxy = client.get_bool('/system/http_proxy/use_http_proxy')
25 + if (use_proxy != 0):
26 + host = client.get_string('/system/http_proxy/host')
27 + port = client.get_int('/system/http_proxy/port')
29 + http_proxy = "http://" + host + ':' + str(port)