commit 0de9640091e37e6944fd2ee2cef075ef0213a445
author Jean-Baptiste Queru <jbq@google.com> Wed May 02 15:14:05 2012 -0700
committer Android Git Automerger <android-git-automerger@android.com> Wed May 02 15:14:05 2012 -0700
tree e511cdd521e47cf4b34e2cab66deb0d32f01031f
parent 2e8a9bd72e40ef1404fb430515ccc802754376b6
parent 8643afb4abf4f9a1a6d38b4f3cf35723ce4cf2ac

am 8643afb4: am d6c13e16: Merge "UserAgent not propagated from Browser to DownloadProvider"

* commit '8643afb4abf4f9a1a6d38b4f3cf35723ce4cf2ac':
  UserAgent not propagated from Browser to DownloadProvider

src/com/android/browser/DownloadHandler.java

diff --git a/src/com/android/browser/DownloadHandler.java b/src/com/android/browser/DownloadHandler.java
index 6e2c786..31212b4 100644
--- a/src/com/android/browser/DownloadHandler.java
+++ b/src/com/android/browser/DownloadHandler.java
@@ -204,6 +204,7 @@
         // old percent-encoded url.
         String cookies = CookieManager.getInstance().getCookie(url, privateBrowsing);
         request.addRequestHeader("cookie", cookies);
+        request.addRequestHeader("User-Agent", userAgent);
         request.setNotificationVisibility(
                 DownloadManager.Request.VISIBILITY_VISIBLE_NOTIFY_COMPLETED);
         if (mimetype == null) {