commit 292e53064af95d4974e8927b320d2ae08e9de2e7
author John Reck <jreck@google.com> Wed May 16 17:18:55 2012 -0700
committer Android Git Automerger <android-git-automerger@android.com> Wed May 16 17:18:55 2012 -0700
tree fd3da39c521cc043e08e77e07c7ef98a95f3f298
parent 01ad856a7970f6983e5ec75fef0e492f81cc2936
parent 26bebab15e925f887ed2f85bccda03083a182289

am 26bebab1: Merge "Monkey" into jb-dev

* commit '26bebab15e925f887ed2f85bccda03083a182289':
  Monkey

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) {