commit 8643afb4abf4f9a1a6d38b4f3cf35723ce4cf2ac
author Jean-Baptiste Queru <jbq@google.com> Wed May 02 15:11:08 2012 -0700
committer Android Git Automerger <android-git-automerger@android.com> Wed May 02 15:11:08 2012 -0700
tree e511cdd521e47cf4b34e2cab66deb0d32f01031f
parent cd0458f4b4f57347736779e1413f4c48375a3ae3
parent d6c13e1635ddb4cb42d120c2dfdca1ada6d1a7b2

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

* commit 'd6c13e1635ddb4cb42d120c2dfdca1ada6d1a7b2':
  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) {