commit 5ff1d94f213775a471028e1aa8c5b515cf550682
author John Reck <jreck@google.com> Wed May 09 14:11:01 2012 -0700
committer Android Git Automerger <android-git-automerger@android.com> Wed May 09 14:11:01 2012 -0700
tree 1ed3118e85981015af03468809a77844a81a00a6
parent b159fa22067330a4a860a87b10fa1c47cb1b3a18
parent 40e7f350e0aee6308b03d206721fcf80cfff051f

am 40e7f350: Monkey

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