diff options
-rw-r--r-- | project.py | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1746,6 +1746,9 @@ class Project(object): | |||
1746 | os.remove(tmpPath) | 1746 | os.remove(tmpPath) |
1747 | if 'http_proxy' in os.environ and 'darwin' == sys.platform: | 1747 | if 'http_proxy' in os.environ and 'darwin' == sys.platform: |
1748 | cmd += ['--proxy', os.environ['http_proxy']] | 1748 | cmd += ['--proxy', os.environ['http_proxy']] |
1749 | cookiefile = GitConfig.ForUser().GetString('http.cookiefile') | ||
1750 | if cookiefile: | ||
1751 | cmd += ['--cookie', cookiefile] | ||
1749 | cmd += [srcUrl] | 1752 | cmd += [srcUrl] |
1750 | 1753 | ||
1751 | if IsTrace(): | 1754 | if IsTrace(): |